Introducción1

La finalidad de los autómatas finitos es la de reconocer lenguajes regulares, que

corresponden a los más simples. Como sabemos lenguaje es un subconjunto de un
determinado universo del discurso.

El autómata finito es un modelo matemático de un sistema, con entradas y salidas

discretas. El sistema puede estar en cualquiera de un número finito de configuraciones o
estados. El estado del sistema resume la información a entradas anteriores y que es
necesaria para determinar el comportamiento del sistema para entradas posteriores.

El mecanismo de control de un elevador es un ejemplo de un sistema de estados finitos. El

mecanismo no recuerda todas las demandas previas al servicio, sino solo el piso en el que
se encuentra la dirección del movimiento (hacia arriba o hacia abajo) y el conjunto de las
demandas de servicio aun no satisfechas.

En la ciencia de la computación encontramos diversos ejemplos de sistemas de estados

finitos y la teoría de autómatas finitos es una útil herramienta para el diseño de tales
sistemas.

Ciertos programas, utilizados con frecuencia, como los editores de texto y los analizadores
léxicos que se encuentran en la mayoría de los compiladores, son diseñados como
sistemas de estado finito. Por ejemplo, un analizador de léxico recorre los símbolos de un
programa de computación para localizar cadenas de caracteres correspondientes a
identificadores, constantes numéricas, palabras reservadas, etcétera.

Tal es el caso de este autómata el cual expondré la forma de plantearlo, así como el
desarrollo del diagrama de transiciones y pseudocódigo.

1
Introducción a la teoría de autómatas, lenguajes y computación, John E. Hopcroft y Jeffrey D. Ullman, pp.
14-16.
PLANTEAMIENTO

Para construir un diagrama de transiciones debemos seguir ciertas reglas 2:

1. Se dibuja un nodo por cada estado y se etiqueta el nodo con el nombre del estado, puede
ser una letra o un número. En este caso usaremos números.

1
2. Al estado inicial se le marca de alguna forma que se le distinga, como por ejemplo con
una flecha.
1

3. A los estados finales también se les marca espacialmente. Lo más común es poner doble
la delimitación del nodo.

1
4. Se traza un arco dirigido del estado 1 o estado inicial al siguiente estado correspondiente
y se etiqueta ese arco con un símbolo referente al autómata a realizar.

1 2

De acuerdo a este criterio desarrollaremos el siguiente autómata:

Crear un autómata que valide reales en notación decimal o exponencial. Por ejemplo:

Validos No validos
35.7 .0
-32.8 2.e10
+32.8 2.e.2.2
2.5e10
+2.5e-10
-2.5e10

Tabla 1. VALORES POSIBLES DEL AUTOMATA

DESARROLLO
2
Antes de entrar de lleno a realizar el diagrama de transiciones observaremos cuales son los
símbolos que representaran nuestro alfabeto válido. En este caso son válidos los símbolos: “+”,”-“,
“.” y los dígitos del 0 al 9.

Teniendo como referencia la Tabla 1 y los criterios para la construcción de diagramas de transición
obtenemos:

P= punto

E=exponencial

D=digito