Module : Systèmes formels 1. CODE ULIN403

Responsable	Philippe JANSSEN
Parcours intégrant UV	Informatique, Mathématiques et Informatique.
Parcours possibles	Tous les autres parcours.
Pré-Requis	Initiation à l'Algorithmique (ULIN101), Mathématiques Discrètes (ULMA202).
Controle connaissances	5 ECTS Ecrit(50)

Description de l'UE :

Semestre	Code	Intitulé	Cours	TD	TP	TER
S4	ULIN403	Système formel 1	18h	23h	9h

Detail du programme

Il s'agit d'étudier et de manipuler les notions fondamentales de mots et de langages. On s'intéressera plus particulièrement à la représentation d'un langage et au problème de la reconnaissance d'un mot.

Contenu :

– 1. Première partie

– les langages rationnels,

– les automates finis

– les expressions rationnelles

– 2. Deuxième partie

– les langages algébriques,

– les grammaires hors contexte

– les automates à pile.