En la teoría de autómatas y la lógica secuencial , una tabla de transición de estado es una tabla que muestra a qué estado (o estados en el caso de un autómata finito no determinista ) se moverá una máquina de estado finito , según el estado actual y otras entradas. Es esencialmente una tabla de verdad en la que las entradas incluyen el estado actual junto con otras entradas, y las salidas incluyen el siguiente estado junto con otras salidas.
Una tabla de transición de estados es una de las muchas formas de especificar una máquina de estados finitos. Otras formas incluyen un diagrama de estado .
Las tablas de transición de estado a veces son tablas unidimensionales, también llamadas tablas de características . Se parecen mucho más a las tablas de verdad que a su forma bidimensional. La dimensión única indica entradas, estados actuales, próximos estados y (opcionalmente) salidas asociadas con las transiciones de estado.
Las tablas de transición de estado suelen ser tablas bidimensionales. Hay dos formas comunes de organizarlos.
De la primera manera, una de las dimensiones indica estados actuales, mientras que la otra indica entradas. Las intersecciones de fila/columna indican los siguientes estados y (opcionalmente) las salidas asociadas con las transiciones de estado.
En la segunda forma, una de las dimensiones indica estados actuales, mientras que la otra indica estados próximos. Las intersecciones de fila/columna indican entradas y (opcionalmente) salidas asociadas con las transiciones de estado.