Este documento describe los autómatas de estado finito, que son máquinas abstractas con un conjunto finito de estados internos, símbolos de entrada y salida, y funciones que determinan el próximo estado y la salida en función del estado actual y el símbolo de entrada. Incluye un ejemplo de autómata de estado finito y explica que los autómatas de estado finito son máquinas de estado finito donde la salida es 0 o 1 y los estados de aceptación son aquellos cuya salida es 1.

1. Autómatas

2. Máquinas de estado finito
• Es un modelo abstracto de una máquina con una memoria interna
primitiva.
– Costa de:
Un conjunto finito I de símbolos de entrada
Un conjunto finito O de símbolos de salida
Un conjunto finito S de estados
Una función de entrada siguiente f de SxI en S
Una función de salida g de S x I en O
Un estado inicial σ ϵ S
Escribimos M=(I, O, S, f, g, σ)

3. Ejemplo
• Sean I={a,b}, O={0,1} y S={σ0, σ1}. Definimos el par de
funciones f: S x I→S y g:S x I →O
f g
a b a b
I
S
σ0 σ0 σ1 0 1
σ1 σ1 σ1 1 0
Entonces M=(I, O, S, f, g, σ0) es una maquina de estado
finito.
f(σ0, a)= σ0 g(σ0, a)= 0
f(σ0, b)= σ1 g(σ0, b)= 1
f(σ1, a)= σ1 g(σ1, a)= 1
f(σ1, b)= σ1 g(σ1, b)= 0

4. Diagrama de transición
• El diagrama de transición es una diagráfica.

5. Autómatas de estado finito
• Un autómata de estado finito A=(I, O, S, f, g, σ ) es una maquina de estado finito en
la que el conjunto de símbolos de salida es {0,1} y donde el estado actual determina
la ultima salida. Aquellos estados para los cuales la última salida es 1 son los
estados de aceptación.
– Un autómata de estado finito A formado por:
1. Un conjunto finito I de símbolos de entrada.
2. Un conjunto finito S de estados.
3. Una función de estado siguiente f de S x I en S.
4. Un subconjunto A de S de estados de aceptación.
5. Un estado inicial σ ϵ S
• Si utilizamos esta caracterización, escribimos A=(I, S , f, A, σ).