Projetos da disciplina de Aspectos Formais da Computação do MIA - Unifor.
Analisador sintático da linguagem lógica (E, OU, NÃO e IMPLICA). O programa executável para Windows pode ser baixado de http://mia.jonasluz.com.br/dl/JALJ_AnalisadorSintaticoLogico.7z