Mquina

Determinista

No Determinista

M. Secuen. Mealy ME = ( , , , , )

Configuracin

f:
g:

f: funcin de transicin; g: funcin de salida

M. Secuen. MooreMO = ( , , , , )

f:
g: (la salida depende solo del estado actual)

f: funcin de transicin; g: funcin de salida

= (, ) q Q; +

AFDT = ( , , , 0 , , , )

AFDR = ( , , 0 , , )

f:

f: ( )

= (, ) q Q; +

= ( , , , 0 , #, , )

: ( {})

: ( {}) ( )

= (, , ) q Q; + ;
: , : , : cont de pila

AFDB = ( , , , 0 , , );

: {I, N, D}

Kt =(q, , ); : cont en cinta; K: pos cabezal

= ( , , , 0 , , )
= {, } ; 0 ; A ; = s. aux.

: x {I, N, D, P}

Kt =(q, , ); : cont en cinta; K: pos cabezal

Donde | | = cte cadena mantiene la misma longitud

= ( , , , 0 , , , )
= {} ; 0 ; A ; = s. aux.

: x {I, N, D, P}

= {, }; A

: ( x {I, N, D, P})

AP -- Acepta Lenguajes por

Por vaciado de pila: = {/ (0 , , #) (, , #); 0 , ; + ; # }
Por estado final: = {/(0 , , #) (, , ); 0 ; ; + ; + ; # }
Por vaciado de pila y estado final: = {/(0 , , #) (, , #); 0 ; ; + ; # }
MT y ALAInterpretaciones
Reconocedora de lenguajes
Ejecutora de procedimientos (traductoras)
AFDBel lenguaje que reconoce

L(M)={/ 0 ; }

Kt =(q, , ); : cont en cinta; K: pos cabezal

Donde | | cte su longitud puede variar