Matrices de transición

Una matriz o tabla de transiciones es un arreglo bidimensional cuyos elementos proporcionan el resumen de un diagrama de transiciones. Para elaborar un tabla de transiciones, debe colocarse cada estado del diagrama de transiciones en una fila del arreglo y cada símbolo o categoría de símbolos con posibilidades de ocurrencia en la cadena de entrada, en una columna.

El elemento que se encuentra en la fila m columna n es el estado que se alcanzaría en el diagrama de transiciones al dejar al estado m a través de un arco de etiqueta n. Al no existir algún arco que salga del estado m, entonces la casilla correspondiente de la tabla se marca como un estado de error.

En la siguiente figura se presenta un ejemplo de un diagrama de transiciones que representa la sintaxis para un número de punto flotante, seguido de la tabla de transiciones correspondiente.

EstadoDígito.E+FDC
12ErrorErrorErrorErrorError
2235ErrorErrorError
34ErrorErrorErrorErrorError
44Error5ErrorErrorAceptar
57ErrorError66Error
67ErrorErrorErrorErrorError
77ErrorErrorErrorErrorAceptar