^{PDFprof.com Search Engine}

INF 302 : Langages & Automates

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 langage L sur r est reconnaissable s'il existe au moins un automate fini A ayant r comme alphabet d'entrée tel que L = L(A).
Un automate A = 〈Q, r, δ, q0, F〉 est complet si A peut transiter depuis chaque état vers un autre état sur tous les symboles de r.

Quel est le langage accepté par l'automate ?