• 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!
3
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 (8), 26 nov. 2012

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

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

(2)

Plan

1. Automate minimal (rappel)

2. Algorithme de minimisation par action inverse.

3. (New) Image d’un automate d´eterministe sur l’automate des d´ecal´es.

4. (New) Expressions rationnelles

5. (New) Etoile d’une matrice de langages propres 6. (New) Passage Aut<−>Rat

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

(3)

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

Références

Télécharger maintenant ( PDF - 3 Page - 34.33 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).2. Action directe et inverse sur

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