^{PDFprof.com Search Engine}

Codes et 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 α.
Quel est le langage reconnu par l'automate ?
Le mot w appartient au langage reconnu par l'automate si il existe un chemin de l'état initial à un état final qui décrit ce mot. e est un mot du langage reconnu par l'automate si l'état initial est final.
Comment définir un automate ?
De façon très informelle, un automate est un ensemble “d'états du système”, reliés entre eux par des “transitions” qui sont marquées par des symboles. Étant donné un “mot” fourni en entrée, l'automate lit les symboles du mot un par un et va d'état en état selon les transitions.
Soit (Q, q0, F, δ) un automate fini deterministe : — Un blocage de l'automate est un couple (q, x) ∈ Q × s tel que δ(q, x) n'est pas défini. — Un automate sans blocages est dit complet. — L'automate est dit standard si pour tout (q, x) ∈ Q × s , δ(q, x) ̸= q0.

Comment savoir si un automate est fini ?