Máquinas de Turing

Para executar as máquinas de Turing dadas em classe, siga os passos abaixo.

• Salve os arquivos tm.vi, updown.tm e abc.tm em um diretório seu.

  O arquivo tm.vi contém o interpretador em macros de vi e ou outros dois são máquinas de Turing, incluindo a fita. O editor vi já foi padrão em Unix. Hoje em dia está um pouco fora de moda, mas as macros que tenho são antigas também. Se alguém quiser portar o interpretador para emacs, eu adoraria.

• Carregue o vi e a máquina de Turing:

      vi updown.tm
      

• Já dentro do vi, carregue o interpretador:

      :so tm.vi
      

• Execute: tecle "g". Você vai ver a máquina executar na entrada dada.