• Aucun résultat trouvé

Cours de Th´eorie des Langages et Automates (Licence 3)

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Cours de Th´eorie des Langages et Automates (Licence 3)"

Copied!
2
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Cours de Th´eorie des Langages et Automates (Licence 3)

G.H.E. Duchamp, S´eance (7), 19 nov. 2012

[email protected] (Ann´ee 2012-2013)

G.H.E. Duchamp, S´eance (7), 19 nov. 2012 Cours de Th´eorie des Langages et Automates (Licence 3)

(2)

Plan

1. Action directe et inverse sur les parties

2. Application : d´eterminisation par l’orbite (directe) des initiaux (rappel)

3. Partition et ´equivalences 4. Automate minimal

5. Algorithme de minimisation par action inverse.

G.H.E. Duchamp, S´eance (7), 19 nov. 2012 Cours de Th´eorie des Langages et Automates (Licence 3)

Références

Télécharger maintenant ( PDF - 2 Page - 27.27 KB )

Documents relatifs

Cours de Th´eorie des Langages et Automates (Licence 3)

Nouveaux exemples d’automates des d´ecalages (exemples finis et infinis) sur des langages s’exprimant avec des conditions (mots avec pr´efixe impos´e, avec facteur

Cours de Th´eorie des Langages et Automates (Licence 3)

Nouveaux exemples d’automates des d´ecalages (exemples finis et infinis) sur des langages s’exprimant avec des conditions (mots avec pr´efixe impos´e, avec facteur impos´e)6.

Cours de Th´eorie des Langages et Automates (Licence 3)

2012 Cours de Th´ eorie des Langages et Automates (Licence 3).. 2012 Cours de Th´ eorie des Langages et Automates

Cours de Th´eorie des Langages et Automates (Licence 3)

2012 Cours de Th´ eorie des Langages et Automates (Licence 3)... Algorithme de minimisation par

Cours de Th´eorie des Langages et Automates (Licence 3)

2012 Cours de Th´ eorie des Langages et Automates (Licence 3).2. (New)

Cours de Th´eorie des Langages et Automates (Licence 3)

2012 Cours de Th´ eorie des Langages et Automates (Licence 3)... Etoile d’une matrice de langages

Examen ´ ecrit de th´ eorie des automates et langages formels

ayant un nombre pair de a et ne contenant pas le facteur bb. V´erifier que l’automate propos´e est bien minimal.. 2.a) Soit M un automate fini d´eterministe ayant

Examen ´ ecrit de th´ eorie des automates et langages formels

Montrer que si u et v sont des palindromes et si au moins l’un d’eux est de longueur pair, alors il existe un conjugu´e de uv qui est un palindrome.. Montrer que si u et v sont