import java.io.*;
import fr.jussieu.script.*;
import java.util.StringTokenizer;

class Automate{

    Etat[] tab_etats;
    
    public Automate(){
	tab_etats=new Etat[1];
	tab_etats[0]=new Etat();
    }
    
    
    public void initAutomate(int nb_etats){
	tab_etats=new Etat[nb_etats];
	for(int i=0;i<tab_etats.length;i++){
	    tab_etats[i]=new Etat();
	}
    }
    

    public Etat etatInitial(){
	for(int i=0;i<tab_etats.length;i++){
	    if(tab_etats[i].initial){
		return tab_etats[i];
	    }
	}
	return new Etat();
    }
    
   

    public static void main(String[] arg){
	/* a remplir pour tester vos methodes */
    }
	
}

class Etat{

    boolean terminal;
    boolean initial;
    ListeTransition liste_trans;

    public Etat(){
	terminal=false;
	initial=false;
	liste_trans=new ListeTransition();
    }
    

    public Etat(boolean init, boolean termine, ListeTransition liste){
	initial = init;
	terminal = termine;
	liste_trans=liste;
    }

    public boolean existeTrans(char c){
	for(int i=0;i<liste_trans.size();i++){
	    Transition trans_tampon=(Transition)liste_trans.elementAt(i);
	    if(trans_tampon.lettre==c){
		return true;
	    }
	}
	return false;
    }
    
    public Etat cible(char c){
	if(existeTrans(c)){
	    for(int i=0;i<liste_trans.size();i++){
	    	Transition trans_tampon=(Transition)liste_trans.elementAt(i);
		if(trans_tampon.lettre==c){
		    Transition trans_tampon2=(Transition)liste_trans.elementAt(i);
		    return trans_tampon2.destination;
		}
	    }
	    return new Etat();
	}
	else{
	    return new Etat();
	}
    }
}


class ListeTransition extends java.util.Vector{

    public boolean estVide(){
    	return this.size()==0;
    }
   
}

class Transition{

    char lettre;
    Etat destination;
    
    public  Transition(){
	lettre='z';
	destination=null;
    }
    

    public  Transition(char lettre, Etat destination){
	this.lettre=lettre;
	this.destination=destination;
    }
    
    public  boolean estVide(){
	return lettre=='z' && destination==null;
    }
}