Ingeniera Informtica

Anlisis de Algoritmos.











AFND-LAMBDA A AFD.











Gramtica a desarrollar.
(b*a*)*(c+cb+a*)+aa


Esquema afnd-lambda correspondiente desarrollado con el mtodo Thompson.




Dnde:
E={, Q0, F, }

={a, b, c}


Definimos Q0 como:
Q 0 = {q0} U {q1, q2, q4, q5, q7, q8, q9, q10}



Entonces tenemos el desarrollo en la siguiente tabla.









0 A b c
Q0 Q1={q6} U {q1, q2, q4, q5, q7, q8, q9, q10} Q2={q3} U {q1, q2, q4, q5, q7, q8, q9, q10} Q3={q11}U{q10, 12}

1 A b C
Q1 Q1 Q2 Q3
Q2 Q1 Q2 Q3
Q3 Lambda Lambda
Q4={q11, q13} U
{q10, q12, q14}

2 A b C
Lambda Lambda Lambda Lambda
Q4 Lambda
Q5={q15} U {q9, q10, q14, q16, q17, q19,
q20} Q4

3 A b c
Q5 Q6={q18, q21} U {q9, q10, q17, q19, q20} Q5 Q3

4 A b c
Q6
Q7={q18, q21, q22} U {q9, q10, q17, q19,
q20} Lambda Q3

5 A b c
Q7 Q7 Lambda Q3
En Resumen.
T A b c
Q0 Q1 Q2 Q3
Q1 Q1 Q2 Q3
Q2 Q1 Q2 Q3
Q3 Lambda Lambda Q4
Q4 Lambda Q5 Q4
Q5 Q6 Q5 Q3
Q6 Q7 Lambda Q3
Q7 Q7 Lambda Q3
Lambda Lambda Lambda Lambda

En donde reemplazamos Q por q en el grafico final del afd que se muestra a
continuacin.