Esto es un concepto que ocasionalmente se ha extendido en varias formas de programación de sistemas tales como lexers y Parsers.
Se puede pensar en el estado como algo análogo a la memoria principal de la computadora.
El comportamiento del sistema es una función de (a) la definición del autómata, (b) la entrada y (c) el estado actual.
Cualquier cambio en la naturaleza o cantidad de tales propiedades del estado se detecta por un observador y así ocurre una transmisión de información.
Uno que no lo es por el contrario se le denomina sin estado.