Este repositório contém os exemplos de código utilizados na disciplina BCC328 - Construção de Compiladores I.
- Pastas dentro de src: ** Pasta Exp: Compilador de expressões aritméticas. ** Pasta Imp: Compilador de uma linguagem imperativa simples. ** Pasta Lexer: Algoritmo para construção de analisadores léxicos. ** Pasta Parser: Algoritmos para análise sintática. ** Pasta SVM: Implementação de uma máquina virtual simples.
- Pasta lean: Formalização em Lean da linguagem Imp e seu compilador.