uqac.ca

web

8INF841

Automates et langages formels

(3.0 cr.)

Approfondir l'étude de la théorie des automates et des langages formels. Étudier les relations existant entre la théorie des automates et d'autres domaines de l'informatique.

Théorie algébrique des langages et des automates. Langages formels, automates, semigroupe syntactique, variétés de langages et de semigroupes, structure des semigroupes, relations de Green, langages sans étoiles, semigroupes apériodiques. Logique, jeux de Ehrenfeucht-Fraïssé, complexité des circuits, langages hors-contextes et groupoïdes finis, langages ouverts et quasigroupes, etc...

(06/2012)

Appartenance départementale

Informatique et mathématique

Programme dans lequel se trouve ce cours

3081 Doctorat en sciences et technologies de l'information
À propos du site Web institutionnel - © UQAC 2017. Tous droits réservés.