Detalles básicos de las tablas de transiciones en teoría de expresiones regulares y autómatas finitos

¿Qué es una tabla de transiciones?

Una tabla de transiciones es un arreglo (o matriz) bidimensional cuyos elementos proporcionan el resumen de un diagrama de transiciones correspondiente.
Las cadenas que deben analizarse en una aplicación están construidas a partir de un conjunto de símbolos. En cualquier situación encontramos que el conjunto de símbolos es finito, por lo que nuestro primer paso hacia la formalización del proceso de reconocimiento es asumir la hipótesis de la existencia de un conjunto finito, no vacío, de símbolos a partir del cual se construyen las cadenas que se analizaran. A este conjunto de símbolos lo llamamos alfabeto.
Cada cadena que se recibe se analizara como una secuencia de símbolos, uno a la vez. Nos referimos a la fuente de esta secuencia como el flujo de entrada conforme llega cada símbolo del flujo de entrada, nuestro proceso de reconocimiento implica cambiar de un estado, tomando de entre una cantidad finita de ellos, a otro, o bien permanecer en el estado actual. El nuevo proceso dependerá únicamente del estado actual y del símbolo del que se recibe.

Ejemplo:

Y esta tabla interpreta de la siguiente forma:

• De q1 a q3 se genera una letra.
• De q1 a q2 se genera un digito.
• De q3 a q3 se genera una letra.
• De q3 a q3 se genera un digito.

Nota: A partir de un diagrama de transiciones se puede generar la tabla de transiciones y a partir de la tabla de transiciones se puede generar el diagrama de transiciones.