Projet Informatique Théorique 2016
Instructions et Documentation
Liste des choses à faire
globalScope> Global(e) accessibles (const Automate *automate)
Renvoie l'ensemble des états accessibles à partir des états initiaux en lisant un mot quelconque.
globalScope> Global(e) automate_accessible (const Automate *automate)
Renvoie l'automate passé en paramètre dont les états non accessibles ont été supprimés.
globalScope> Global(e) creer_automate_du_melange (const Automate *automate1, const Automate *automate2)
Crée l'automate du mélange.
globalScope> Global(e) creer_union_des_automates (const Automate *automate_1, const Automate *automate_2)
Crée l'union des automates.
globalScope> Global(e) etats_accessibles (const Automate *automate, int etat)
Renvoie l'ensemble des états accessibles à partir d'un état en lisant un mot quelcquonque.
globalScope> Global(e) get_max_etat (const Automate *automate)
Renvoie l'état ayant le numéro le plus grand de l'automate passé en paramètre.
globalScope> Global(e) miroir (const Automate *automate)
Renvoie l'automate miroir d'un automate.