Una máquina de transición de Post depende del símbolo al frente de la cola y del estado.