^{PDFprof.com Search Engine}

CHAPITRE 4 : EQUIVALENCE ENTRE AUTOMATES ET EXPRESSIONS

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.
Comment rendre un automate complet ?
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
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 α.
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 connaître le langage reconnu par un automate ?