^{PDFprof.com Search Engine}

Les langages réguliers et les automates finis

Comment savoir si un automate est fini ?
Un automate est déterministe si et seulement si les deux conditions suivantes sont vérifiées : 1.
L'automate possède un et un seul état initial ; 2.
Pour chaque état q et pour chaque lettre α, il existe au plus une transition issue de q d'étiquette α.
Comment prouver qu'un langage est régulier ?
On dit qu'une expression régulière dénote ou décrit un langage. (a+ε) (ba) *(b+ε) décrit l'ensemble des suites alternées de a et de b.
Un langage est régulier si et seulement si il est dénoté par une expression régulière.
Quel est le langage accepté par l'automate ?
L'automate A×B accepte le langage L ∩ M.
Lors de la construction de l'automate produit il n'est pas nécessaire de considérer tous les états (tout le produit cartésien).
On peut se restreindre `a l'ensemble des états accessibles (voir l'exemple ci-dessous).
Un automate est complet si de chaque état et chaque symbole, une transition est toujours possible : ∀(q, a) ∈ Q × V,∃p ∈ Q,(q, a, p) ∈ δ.
Pour un AF déterministe complet, δ est une fonction totale : Q × V → Q.
Un automate peut être non-déterministe mais complet

Un langage est dit régulier ssi on peut le construire, `a partir de langages finis, par un nombre fini d'applications d'opérations réguli`eres. Mais nous allons Autres questions

Automates Propriétés des langages réguliers

Les langages réguliers et les automates finis

Comment savoir si un automate est fini ?

Comment prouver qu'un langage est régulier ?

Quel est le langage accepté par l'automate ?