Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Determinista
No Determinista
M. Secuen. Mealy ME = ( , , , , )
Configuracin
f:
g:
M. Secuen. MooreMO = ( , , , , )
f:
g: (la salida depende solo del estado actual)
= (, ) q Q; +
AFDT = ( , , , 0 , , , )
AFDR = ( , , 0 , , )
f:
f: ( )
= (, ) q Q; +
= ( , , , 0 , #, , )
: ( {})
: ( {}) ( )
= (, , ) q Q; + ;
: , : , : cont de pila
AFDB = ( , , , 0 , , );
: {I, N, D}
= ( , , , 0 , , )
= {, } ; 0 ; A ; = s. aux.
: x {I, N, D, P}
= ( , , , 0 , , , )
= {} ; 0 ; A ; = s. aux.
: x {I, N, D, P}
= {, }; A
: ( x {I, N, D, P})
L(M)={/ 0 ; }