Tablas de transición:
• Filas encabezadas por los estados( Q )
• Columnas encabezadas por los símbolos de entrada ( E)
TABLA | a | b |
->p | q | |
*q | q3 | r |
q3 | r | |
r | q3 |
Diagramas de transición:
• Nodos etiquetados por los estados(Q)
• Arcos entre nodos etiquetados con ( E)
• Q0 se señala con ->
• El estado final se señala con * o con doble circulo
Ejemplo: Sea el AFD1 = ({a,b}, {p,q,r}, f, p, {q}) donde f está
definida por:
f(p,a) = q f(p,b) = r
f(q,a) = q f(q,b) = r
f(r,a) = r f(r,b) = r
escribir su tabla de transición y dibujar su diagrama de transición.
estados (Q): p, q, r
estado inicial: p
estado final: q
símbolos: a,b
AFD
AFND
No hay comentarios:
Publicar un comentario