^{PDFprof.com Search Engine}

Construire un automate à partir d'un langage

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).
Comment rendre un automate 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 complet ?
En informatique, le déterminisme est le fait de ne pas avoir le choix entre plusieurs exécutions.
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 Σ.
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.

Quel est le langage accepté par l'automate ?