MQUINA DE ESTADO DE

FINITO

Mquina de estado finito: Se define

como la 6-tupla

Encuentre el diagrama de transicin de

una mquina de estado finito

Diagrama de transicin

 Encuentre el diagrama de transicin de

una mquina de estado finito

 Encuentre el diagrama de transicin de

la mquina de estado finitos

Encuentre el diagrama de estados de la mquina de

estado finitos

 Encuentre los conjuntos

el
estado inicial y la tabla que define el
siguiente estado y las funciones de
salida para la mquina de estado finito

 Determine el estado inicial y la tabla que

define las funciones de estado siguiente
y de salida para cada maquina de estado
finito

Desde que estado debemos comenzar para que

la cadena de entrada abbaaab produzca la salida

Desde que estado debemos comenzar para que

la cadena de entrada abbaaab produzca la salida
1010001?

Encuentre el diagrama de transicin de la mquina de

estado finitos

Aceptoras
(tambinllamadasreconocedorasodiscriminadoras):Son
aquellasendondelasalidaesbinaria(s/no),depende
nicamentedelestadoyexisteunestadoinicial.Puede
decirse,entonces,quecuandolamquinaproduceuna
salida"positiva"(esdecir,un"si"),esporqueha"reconocido"
o"aceptado"lasecuenciadeentrada.Enlasmquinasde
estadosaceptoras,losestadosconsalida"positiva"se
denominanestados finales.
Transductoras:Sonlasmsgenerales,queconviertenuna
secuenciadesealesdeentradaenunasecuenciade
salida,pudiendostaserbinariaomscompleja,dependen
delaentradaactual(noslodelestado)ypudiendotambin
prescindirsedeunestadoinicial.

AUTMATAS DE ESTADO
FINITO
Este un tipo especial de mquina de
estado finito son de gran inters por
su relacin con los lenguajes

Aquellos estados para los que la

ultima salida fue 1 se llama ESTADO
DE ACEPTACIN

 Muestre si cada mquina de estado finito

es un autmata de estado finito y trace
nuevamente el diagrama de transicin

 Muestre que cada maquina de estado

finito es una autmata de estado finito
trace nuevamente el diagrama

Trace de nuevo el diagrama de

transicin del autmata de estado finito
como el diagrama de transicin de una
mquina de estado finito

 Trace de nuevo el diagrama de transicin

del autmata de estado finito como
diagrama de transicin de una mquina
de estado finito

dibujeeldiagramadetransicindelautmatadeestado
finito.

Halle la cadena de salida para la cadena de

entrada abbaaabb
Indique si la cadena es aceptada

Dibujeeldiagramadetransicindelautmatadeestadofinito.

Halle la cadena de salida para la cadena de entrada

cbabaaccb
Indique si la cadena es aceptada

Trace de nuevo el diagrama de transicin del

autmata de estado finito como diagrama de
transicin de una mquina de estado finito

 Dibuje el diagrama de transicin del

automata de estado finito

demuestre que cada mquina de estado finito es un

autmatadeestadofinitoydibujedenuevoeldiagrama
comocorresponde.

a)Trace el diagrama de estados para esta

maquina de estado finito
b)Si partimos de Cul es la cadena de salida
para la cadena de entrada abbccc?