En Teoría de la computación y Teoría de la recursión, una máquina de Post, bautizada así en honor de Emil Leon Post, es una autómata determinista con una cola. No hay cinta de lectura separada. Al principio del cómputo, la cadena de entrada x es cargada en la cola. La cadena de entrada es seguida por un símbolo especial de fin de entrada. Al iniciarse el cómputo, la cola sólo contiene la configuración de entrada.