fr.isae.automata

Class AFD

java.lang.Object

fr.isae.automata.AFD

public class AFD
extends java.lang.Object

AFD represente un automate fini deterministe. On peut verifier qu'un mot est reconnu par l'automate et afficher sa representation au format DOT.

Version:

1.0

Author:

Christophe Garion

Constructor Summary

Constructors

Constructor and Description
AFD(Etat etatInitial, java.util.ArrayList<Etat> etatsFinaux) Creer une instance de AFD.
AFD(Etat etatInitial, Etat... etatsFinaux) Creer une instance de AFD.

Method Summary

Methods

Modifier and Type	Method and Description
void	afficher() Afficher sur la console une representation de l'AFD au format DOT.
boolean	estReconnu(java.lang.String mot) Verifier si un mot est reconnu ou non par l'automate.
java.lang.String	toString() Une representation de l'AFD au format DOT.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AFD

public AFD(Etat etatInitial,
   java.util.ArrayList<Etat> etatsFinaux)

Creer une instance de AFD.

Parameters:

etatInitial - l'etat initial de l'automate

etatsFinaux - les etats finaux de l'automate contenus dans une instance de ArrayList

AFD

public AFD(Etat etatInitial,
   Etat... etatsFinaux)

Creer une instance de AFD. Ce constructeur utilise un nombre variable d'arguments pour les etats finaux.

Parameters:

etatInitial - l'etat initial de l'automate

etatsFinaux - les etats finaux de l'automate (en varargs)

Method Detail

estReconnu

public boolean estReconnu(java.lang.String mot)

Verifier si un mot est reconnu ou non par l'automate.

Parameters:

mot - le mot a reconnaitre

Returns:

un booleen qui est true si le mot est reconnu, false sinon

afficher

public void afficher()

Afficher sur la console une representation de l'AFD au format DOT.

See Also:

Graphviz

toString

public java.lang.String toString()

Une representation de l'AFD au format DOT.

Overrides:

toString in class java.lang.Object

Returns:

la chaine representant l'AFD au format DOT

See Also:

Graphviz