REPRESENTACIÓN

Los autómatas se pueden representar mediante tablas de transición o diagramas de transición.

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