O documento discute programação com máquinas de estado finito, definindo-as como uma técnica de programação onde um sistema possui um número finito de estados e regras para transições entre eles. Ele explica como máquinas de estado podem ser usadas para separar a lógica da aplicação do tratamento de eventos e dá exemplos de como implementá-las.