Cours de Th´ eorie des Langages et Automates
G.H.E. Duchamp, S´eance (3), 01 oct. 2012
gheduchamp@gmail.com
(Ann´ee 2012-2013)
Plan
1. Graphes marqu´es
◮
Rappel de la structure avec exemples
◮
Chemins : but, source et ´etiquette
◮
Texte intégral
◮
◮
◮
Documents relatifs
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
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
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.
2012 Cours de Th´ eorie des Langages et Automates (Licence 3).. 2012 Cours de Th´ eorie des Langages et Automates
2012 Cours de Th´ eorie des Langages et Automates (Licence 3).2. Action directe et inverse sur
2012 Cours de Th´ eorie des Langages et Automates (Licence 3)... Algorithme de minimisation par
2012 Cours de Th´ eorie des Langages et Automates (Licence 3).2. (New)
2012 Cours de Th´ eorie des Langages et Automates (Licence 3)... Etoile d’une matrice de langages