O TuringLab é um jogo gratuito de Teoria da Computação — também chamada de Linguagens Formais e Autômatos (LFA) em várias universidades. Você desenha e testa máquinas abstratas direto no navegador: primeiro descobre a menor palavra da linguagem, depois desenha o autômato e vê se ele aceita ou rejeita cada palavra testada, com feedback imediato.
São três modelos formais, distribuídos em dezenas de fases: Autômatos Finitos Determinísticos (AFD) — incluindo minimização de autômatos —, Autômatos com Pilha (que adicionam uma memória extra ao autômato) e Máquinas de Turing, incluindo máquinas de Turing reconhecedoras e transdutoras.
Cada fase traz um simulador de autômatos passo a passo e um "Modo Aula" narrado, que mostra como a máquina processa cada símbolo da palavra — uma plataforma pensada para o ensino de Autômatos Finitos, Autômatos com Pilha e Máquina de Turing, dentro ou fora da sala de aula. Carregando o jogo…