Publicação
Análise de sintaxe LR em OCaml-FLAT/OFLAT
| Resumo: | 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). |
|---|---|
| Autores principais: | Sousa, Bernardo Rafael Pereira de |
| Assunto: | Teoria de Linguagens Formais e Autómatos OCaml OFLAT OCaml-FLAT Programação Funcional Gramáticas formais |
| Ano: | 2022 |
| País: | Portugal |
| Tipo de documento: | dissertação de mestrado |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade Nova de Lisboa |
| Idioma: | português |
| Origem: | Repositório Institucional da UNL |
| Resumo: | 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). |
|---|