Projeto de Autômatos

SIN 131 - Introdução à Teoria da Computação

Universidade Federal de Viçosa - Campus Rio Paranaíba

Descrição

Este projeto foi desenvolvido para a disciplina SIN 131 - Introdução à Teoria da Computação e tem como objetivo a conversão de autômatos finitos não determinísticos (NFA) em autômatos finitos determinísticos (DFA). O projeto inclui a implementação de um programa para realizar a conversão de NFA para DFA, a minimização de DFA e a verificação de equivalência entre autômatos.

Estrutura do Projeto

• main.py: Contém o código principal do programa e o menu de interação com o usuário.
• functions.py: Define a classe Automaton e as máquinas de Turing.
• misc.py: Inclui funções auxiliares para a execução do programa.

Requisitos

• Python 3.x
• Bibliotecas: graphviz

Instalação

1. Instale a biblioteca graphviz:

   pip install graphviz

2. Para executar o programa, use o comando:

   python main.py

Autores

• Luís Fernando Almeida - [email protected]
• Pedro Augusto Simões da Cruz - [email protected]