Théorie des Langages

1.Introduction à la logique formelle

2.Introduction aux langages

3.Typologie des grammaires

4.Les langages réguliers

a.Les grammaires régulières

b.Les automates d’états finis

c.Les expressions régulières

5.Les langages algébriques (contexte libre)

a.Transformation des grammaires (mot vide, récursivité, ..)

b.Grammaire de Chomsky

c.Grammaire de Greibach

d.Automates à pile

6.Les langages contextuels et les automates à bornes linéaires

7.Les langages de type 0 et les machines de Turring