UN DIAGRAMA DE TRANSICIONES: es una colección finita de círculos, los cuales se

pueden rotular para fines de referencia, conectados por flechas que reciben el nombre de Arcos.

TABLA DE TRANSICIÓN DE ESTADOS:

En teoría de autómatas y lógica secuencial, una tabla de transición de estados es una tabla que
muestra qué estado se moverá un autómata finito dado, basándose en el estado actual y otras
entradas. Una tabla de estados es esencialmente una tabla de verdad en la cual algunas de las
entradas son el estado actual, y las salidas incluyen el siguiente estado, junto con otras salidas.

AUTÓMATA FINITO:
Un autómata finito (AF) o máquina de estado finito es un modelo computacional que realiza
cómputos en forma automática sobre una entrada para producir una salida.

Este modelo está conformado por un alfabeto, un conjunto de estados finito, una función de
transición, un estado inicial y un conjunto de estados finales. Su funcionamiento se basa en una
función de transición, que recibe a partir de un estado inicial una cadena de caracteres
pertenecientes al alfabeto (la entrada), y que va leyendo dicha cadena a medida que el autómata
se desplaza de un estado a otro, para finalmente detenerse en un estado final o de aceptación,
que representa la salida.

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

los lenguajes formales más simples según la Jerarquía de Chomsky.

MÁQUINAS DE ESTADOS FINITOS

Una máquina de estados finitos en un modelo abstracto para la manipulación de símbolos, nos
permiten saber si una cadena pertenece a un lenguaje o nos pueden generar otro conjunto de
símbolos como resultado. Llamaremos una Maquina de Estados Finitos como Autómata Finito, el
hecho es que un Autómata y una Maquina de Estados Finitos son lo mismo, podemos utilizar
ambos términos de forma indistinta.