Trabalho 2 - Minimização de Autômatos

Prévia do material em texto

UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO 
 
Curso: Ciências da Computação 
Disciplina: Linguagens Formais e Autômatos 
Professor: Marcelo Guerra 
 
2º Trabalho da disciplina de Linguagens Formais e Autômatos 
Objetivo: 
 Implementar o algoritmo estudado em sala de aula para minimização de 
autômatos. 
Requisitos: 
 O programa deverá permitir que o usuário introduza um AFD com todos os 
pré-requisitos para que possa ser minimizado: 
 
o Precisa ser um AFD; 
o Não pode ter estados inacessíveis; 
o d deve ser total. 
 
 Para simplificar, permita a restrição do alfabeto a apenas 2 símbolos. 
 Não é obrigado a implementação de interface gráfica. 
 Os componentes do autômato poderão ser lidos diretamente pelo console ou 
por um arquivo de entrada, ficando a critério do programador a 
implementação que achar mais conveniente. 
 
Informações Adicionais: 
 O trabalho deverá ser individual. 
 A escolha da linguagem para a implementação do programa ficará a critério 
de cada aluno. 
 O trabalho deverá ser apresentado em horário de aula no primeiro dia de 
aula após a greve, onde o aluno deverá entregar o código fonte e um manual 
de uso. 
 O manual deverá conter toda a documentação do programa incluindo 
exemplos de uso. 
 O trabalho será avaliado do ponto de vista prático e teórico. 
 A nota do trabalho corresponderá a 30% da 2ª unidade. 
 Caso o aluno implemente com interface gráfica e o software desenhe o 
autômato de entrada e o minimizado, o trabalho poderá conseguir um 
bônus de no máximo 1,0 ponto. 
 Caso o aluno escolha por não fazer o trabalho, a prova valerá 10 pontos, 
caso contrário, a prova valerá 7 pontos.