Ontem tive uma (mini)prova de Informática Teórica, sobre máquinas de Turing. A prova corria tranquila até a última questão, que pedia para escrever a árvore de computação de uma máquina. O problema é que para um dado par estado x símbolo ela gerava 3 cópias, com uma delas voltando a cabeça de leitura, o que acabava transformando um arbusto num verdadeiro cajueiro.
Como não deu para terminar a tempo, então tirei um tempinho hoje para escrever esse script que roda a máquina e gera uma árvore (PNG, com o graphviz) com as configurações ao longo dos vários ramos. Resultado:
