| |
| Acadêmico(a): Michele Milane Tambosi |
| Título: Interpretador de Fórmulas do Cálculo Proposicional |
| |
| Conclusão: |
O presente trabalho atingiu os objetivos propostos, tendo como resultado final a implementação do interpretador de fórmulas do cálculo proposicional, que permite verificar a sintaxe e a propriedade semântica de uma fórmula, e verificar a sintaxe e a validade de um argumento.
Para este trabalho ser realizado, foram estudados conceitos de lógica e cálculo proposicional para especificar a sintaxe das fórmulas e argumentos, e princípios e técnicas de construção de compiladores como base para construir o interpretador de fórmulas do cálculo proposicional.
Durante o desenvolvimento do interpretador foram utilizadas três ferramentas: Rational Rose para fazer a especificação; Microsoft Visual C++ para implementar o interpretador de fórmulas do cálculo proposicional; GALS para gerar os analisadores léxico e sintático utilizados na implementação para verificar a sintaxe das fórmulas e argumentos. O Microsoft Visual C++ é uma ferramenta eficiente para o tipo de programação exigida na implementação do interpretador, porém disponibiliza poucos recursos para a interface. No entanto, pode-se encontrar com facilidade na Internet componentes para suprir esta necessidade. No caso do protótipo desenvolvido, foi utilizado o componente WBButton para inserir bitmaps nos botões da aplicação. Já o GALS mostrou-se uma ferramenta eficiente e de fácil utilização para geração de analisadores léxicos e sintáticos.
O interpretador de fórmulas do cálculo proposicional é de fácil manipulação e poderá auxiliar professores e acadêmicos da disciplina de Lógica para Computação, porém a possibilidade de se implementar extensões na ferramenta em futuras versões é válida, pois permite o aprimoramento de seu funcionamento abrangendo mais assuntos para facilitar o entendimento da disciplina. |
| |
|
