AccueilConnexion

DENIF – Documents d’Enseignement Numériques en Informatique Fondamentale

Enseignant : Géraud Sénizergues

Page perso : http://dept-info.labri.u-bordeaux.fr/~ges/

Documents référencés

Pour voir les documents d’une ressource écrits par d’autres enseignants, cliquez sur son titre, ou bien sur son icône    ou   .

     Informatique théorique 2  

Langages rationels, langages algébriques de mots, langages algébriques de termes, logique monadique du second ordre, langage récursivement énumérables de mots
Thème : Languages, Automates & CalculabilitéCursus : Bordeaux  

     2007 - 2008

Les documents référencés sur ce site sont la propriété intellectuelle de leurs auteurs respectifs. Ne pas les reproduire sans autorisation.
Le code source de ce site est placé sous licence GPLv3.