Computação realmente é trabalho para computadores

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:

file.png