Transformation d'un algorithme

khallou2007 Messages postés 51 Date d'inscription dimanche 9 décembre 2007 Statut Membre Dernière intervention 13 juillet 2010 - 8 mai 2008 à 00:01
khallou2007 Messages postés 51 Date d'inscription dimanche 9 décembre 2007 Statut Membre Dernière intervention 13 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<--dU  { (q’, s, q")

Q’<--Q’ U {q"}

F’ <--{q’ appartient à Q’ tels que q’ inter null}

et merci .

2 réponses

khallou2007 Messages postés 51 Date d'inscription dimanche 9 décembre 2007 Statut Membre Dernière intervention 13 juillet 2010
8 mai 2008 à 00:02
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<--dU  { (q’, s, q")

Q’<--Q’ U {q"}

F’ <--{q’ appartient à Q’ tels que q’ inter null}


et merci .
0
khallou2007 Messages postés 51 Date d'inscription dimanche 9 décembre 2007 Statut Membre Dernière intervention 13 juillet 2010
8 mai 2008 à 00:11
excuse moi il ya une petite faute :

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" different  null  alors

  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}
0
Rejoignez-nous