versão 0.5, 2011/Mar.04

TIM (Turing Interactive Machine) é um simulador de máquinas de Turing que desenvolvi após a frequência da Unidade Curricular Linguagens e Computação da Licenciatura de Informática da Universidade Aberta.  Este programa funciona em linha de comando (CLI), sendo compatível com todos os sistemas operativos para onde exista um interpretador de Python.  Aceita máquinas de Turing definidas num ficheiro de texto segundo um formato inventado pelo meu colega David Fernandes, com algumas extensões de minha autoria.

Funcionalidades do programa:

• Teste de múltiplas Máquinas de Turing em cada sessão (mas não simultaneamente);
• Verificação da sintaxe da definição das Máquinas de Turing;
• Teste de várias palavras numa única sessão, devolvendo os seguintes resultados:
  • pertença à linguagem da máquina;
  • último estado;
  • conteúdo final da fita;
  • posição do cursor (cabeça);
  • número de movimentos efectuados.
• Possibilidade de mostrar sequência de movimentos;
• Possibilidade de fazer um movimento de cada vez, mostrando o ID corrente da máquina.

Transferência

TIM.zip

Dependências

Este programa necessita de ter um interpretador de Python instalado.  Se usas Linux, é provável que já o tenhas, em caso contrário, transfere e instala a versão adequada ao teu sistema da localização oficial (versão 2.x).

Utilização

Transfere o programa para o teu computador e descompacta o ficheiro numa pasta.  Em seguida, lê um dos ficheiros README.txt ou README.pdf incluídos no programa para mais instruções.

 

Facebook