Retour

Modèles de la Programmation et du Calcul


Cours 1

Langages, Expressions rationnelles et Automates finis.

Cours 2

Automates complets et automates déterministes.

Cours 3

Déterminisation d’automates.

Cours 4

Union/Intersection de langages, epsilon-transition, Algorithme de Thompson.

Cours 5

Algorithme de Glushkov, Lemme d’Ardem.

Cours 6

Lemme de l’étoile, résiduels.

Cours 7

Résiduels, minimisation d’automates.

Cours 8

Algorithme de minimisation de Moore, grammaire algébrique.

Cours 9

Grammaire algébrique vers combinatoire, automate à pile.