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) appartient à 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}
et merci .