Publicação

Análise de sintaxe LR em OCaml-FLAT/OFLAT

Ver documento

Detalhes bibliográficos
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

Registos relacionados

Registos relacionados