Máquina de Post

No hay cinta de lectura separada.

Al principio del cómputo, la cadena de entrada x es cargada en la cola.

Al iniciarse el cómputo, la cola sólo contiene la configuración de entrada.

Cada transición borrará el símbolo al principio de la cola.

Una transición tiene dos componentes: el próximo estado y una cadena que se inserta al final de la cola.