O problema da parada trata-se de um problema de decisão presente no universo das máquinas de Turing. Seja uma máquina/algoritmo qualquer e uma entrada para esta máquina, é impossível dizer se essa máquina pára para esta entrada.

Desenvolver um algoritmo capaz de deduzir se uma máquina entra em loop infinito (fica processando infinitamente) a partir da identificação de padrões ocorridos.

Esta solução foi feita na linguagem Python. A representação de uma máquina de turing qualquer foi realizada seguindo as boas práticas de Programação Orientada a Objetos.

Trata-se, neste trabalho, de uma Máquina de Turing com 1 (uma) fita.

Este trabalho necessita que um interpretador de comandos Python esteja instalado.

Para execução da lógica do trabalho, espera-se um arquivo de entrada que contenha uma representação da Máquina de Turing no formato R(M), seguido da entrada que será executada pela máquina informada anteriormente.

Exemplo de utilização (utilizando o arquivo de entrada entrada.txt): > python main.py entrada.txt

O arquivo main.py encontra-se na raiz do projeto.

Trabalho realizado por:

• Guilherme Barbosa
• Guilherme Melo
• Leonardo Braz
• Wagner Moretti

Sob orientação do prof. Dr. Erick Galani Maziero