khallou2007
Messages postés51Date d'inscriptiondimanche 9 décembre 2007StatutMembreDernière intervention13 juillet 2010
-
8 mai 2008 à 00:01
khallou2007
Messages postés51Date d'inscriptiondimanche 9 décembre 2007StatutMembreDernière intervention13 juillet 2010
-
8 mai 2008 à 00:11
bonjour,
je cherche à traduire un pseudo algorithme en java
A = ( S , Q, d, q0, F) automate fini
non-déterministe,
on construit l’automate fini déterministe B = (S, Q’, d’, q0’, F’)
(en vert le traitement des e-transitions) :
• d’ <--null
• q0’ <--{q0} » { les états q tels que (q0,e,q) OE d }
• Q’ <--{q0’}
• pour tout état q’ de Q’ non encore
considéré faire
pour toute lettre s de S faire
q" <--{ y / il existe x appartient àq’, y appartient àQ tels que(x,s,y)appartient à d }
si q" ?nullalors
q" <--q" U{z / il existe y appartient àq" et z appartient àQ tels que(y,e,z)appartient àd}
d’ <--d’ U{ (q’, s, q")
Q’<--Q’ U{q"}
• F’ <--{q’ appartient à Q’ tels que q’ inter F null}