Projeto de PCS 2427 - Lógica Computacional======  Este projeto lê sentenças e automatos e testa se as sentenças lidas pertencem à linguagem reconhecida pelo autômato.