O documento descreve a Máquina de Post, um modelo de máquina universal proposto por Emil Leon Post em 1936. A máquina de Post consiste em uma variável X e um programa finito de instruções como partida, parada, desvio e atribuição. É definida como uma tripla (Σ, D, #) onde Σ é o alfabeto de entrada, D é o diagrama de fluxo do programa e # é um símbolo auxiliar. Um exemplo é dado para a linguagem de duplo balanceamento.