A carregar...
Publicação
Análise de sintaxe LR em OCaml-FLAT/OFLAT
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 2.06 MB | Adobe PDF |
Orientador(es)
Resumo(s)
Os conceitos de FLAT (Linguagens Formais e Teoria de Autómatos) envolvem uma na-
tureza formal e rigorosa, mas também algo complexa, assim trazendo um nível de exigência
considerável durante a sua aprendizagem. Para mitigar este problema, têm sido criadas ferra-
mentas pedagógicas ao longo das décadas, com objetivo de promover a assimilação dos con-
ceitos a partir de aplicações que permitem ao utilizador visualizar e interagir por meio de exer-
cícios/exemplos.
Na FCT-UNL, foram desenvolvidas duas dessas ferramentas pedagógicas: a biblioteca
OCaml-FLAT, com suporte para os conceitos FLAT, e a aplicação gráfica OFLAT, desenhada
para web browsers com o objetivo de promover a aprendizagem do utilizador, com uso de
visualizações interativas dos conceitos da biblioteca OCaml-FLAT.
Esta dissertação tem como primeiro objetivo estender a biblioteca OCaml-FLAT com
conceitos de parsing (análise sintática) LR. O segundo objetivo é estender a aplicação OFLAT,
adicionando suporte para visualização e interatividade dos referidos conceitos. O caráter pe-
dagógico do software a desenvolver será uma preocupação constante.
Inevitavelmente, nesta dissertação irá ocupar bastante espaço, a explicação dos concei-
tos teóricos que estão subjacentes ao trabalho a realizar, concretamente tudo o que tem a ver
com parsing bottom-up determinista LR, nas diferentes variantes clássicas: LR(0), SLR(1), LR(1)
e LALR(1).
The concepts of FLAT (Formal Languages and Automata Theory) have a formal and rigorous nature, also somewhat complex, thus carrying a notable demand during their learning. To mitigate this problem, various tools have been created over the decades, allowing the user to visualize and interact with the concepts through exercises/examples. At FCT-UNL, two such pedagogical tools were developed: the OCaml-FLAT library, with logical support for the FLAT concepts, and the OFLAT graphical application, which runs on a web browser and offers interactive visualizations for the FLAT concepts. The first objective of this dissertation is to extend the OCaml-FLAT library with support for LR parsing concepts. The second objective is to extend the OFLAT graphical application, adding support for visualization and interactivity of said concepts. An important aim of this work is to go after the pedagogical character of the software to be developed. Inescapably, a large portion of this dissertation will be dedicated to the explanation of the theoretical concepts of the LR deterministic bottom-up parsing, concretely in the different classic variants: LR(0), SLR(1), LR(1) and LALR(1).
The concepts of FLAT (Formal Languages and Automata Theory) have a formal and rigorous nature, also somewhat complex, thus carrying a notable demand during their learning. To mitigate this problem, various tools have been created over the decades, allowing the user to visualize and interact with the concepts through exercises/examples. At FCT-UNL, two such pedagogical tools were developed: the OCaml-FLAT library, with logical support for the FLAT concepts, and the OFLAT graphical application, which runs on a web browser and offers interactive visualizations for the FLAT concepts. The first objective of this dissertation is to extend the OCaml-FLAT library with support for LR parsing concepts. The second objective is to extend the OFLAT graphical application, adding support for visualization and interactivity of said concepts. An important aim of this work is to go after the pedagogical character of the software to be developed. Inescapably, a large portion of this dissertation will be dedicated to the explanation of the theoretical concepts of the LR deterministic bottom-up parsing, concretely in the different classic variants: LR(0), SLR(1), LR(1) and LALR(1).
Descrição
Palavras-chave
Teoria de Linguagens Formais e Autómatos OCaml OFLAT OCaml-FLAT Programação Funcional Gramáticas formais