^{PDFprof.com Search Engine}

Chapitre 1 Automates finis

Comment savoir si un automate à nombre d'états fini est déterministe ou non déterministe ?
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 savoir si un automate est déterministe ?
Un automate fini et déterministe est complet si et seulement si δ est une application de Q × Σ sur Q.
De chaque état, il part alors exactement un arc étiqueté par chacune des lettres de l'alphabet Σ.
Quand la fonction n'est pas une application, l'automate fini peut se trouver bloqué.
Comment connaître le langage reconnu par un automate ?
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.
L'automatisation informatique (ou automatisation de l'infrastructure) consiste à utiliser des logiciels pour créer des instructions et des processus reproductibles dans le but de réduire les interventions humaines ou de les remplacer par des systèmes informatiques.

Comment savoir si un automate à nombre d'états fini est déterministe ou non déterministe ?