CUADRO SINÓPTICO II

Se llama aceptadora aquella que la salida es de forma binaria.La salida de cada estado de este tipo de máquinas, es una aceptación o no aceptación/rechazo. Los estados con salida positiva se les conoce como estados finales.

Iaceptadoras

Maquinas de estado finito

Son máquinas más generales y trabajan tanto de forma binaria como con otro tipo de datos. A este tipo de máquinas se le conoce como autómata.

Transductoras

Las máquinas clasificadoras son una generalización de las aceptadoras con un array de salida n dónde n > 2.

IClasificadoras

Éste tipo demáquinas realizan la detección de patrones o secuencias determinados en respuesta a las entradas recibidas. Transitan de un estado inicial a un estado final de “éxito”.

Secuenciadoras (reconocedoras, generadoras o detectoras)

Cada estado tiene exactamente una transición para un input concreto. Las FSM deterministas siempre tienen una transición definida. Cuando la totalidad de las transiciones están determinadas en un Autómata, es decir para cada par de (estado, evento) existe uno y sólo un estado correspondiente, se tiene un Autómata Determinısta.

Maquinas de estado finito

Deterministas (DFA)

Es aquella máquina de estados finita de un único estado que sólo transita dentro del mismo estado.

Combinacionales