Autómatos de Pilha nas ferramentas OCaml-FLAT/OFLAT

• Autor(a) principal: Freitas, Carlos Manuel Mendes
• Data de Publicação: 2023
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
• Texto Completo: http://hdl.handle.net/10362/160466
• topic: Teoria FLAT; Autómatos de Pilha; OCaml-FLAT; OFLAT; ferramentas pedagógicas; Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

Os conceitos de Teoria de Linguagens Formais e Autómatos (FLAT - Formal Languages and Automata Theory) são abstratos, formais e matemáticos. Devido a isso, a aprendizagem desses tende a ser complicada para alguns alunos. Para apoiar o ensino dos conceitos FLAT, historicamente têm sido criadas múltiplas ferramentas informáticas. Duas ferramentas que foram desenvolvidas na FCT/UNL nos últimos anos são a biblioteca OCaml-FLAT e a aplicação Web OFLAT. Ambas as ferramentas foram escritas em OCaml, tentando usar deliberadamente um estilo funcional declarativo, que em alguns casos se consegue aproximar dos formalismos teóricos que são ensinados aos alunos. As duas ferramentas estão escritas em OCaml e encontram-se em evolução e crescimento. Esta dissertação visou adicionar autómatos de pilha ao conjunto de modelos suporta- dos pelas ferramentas. Foram desenvolvidas as funcionalidades normais esperadas neste domínio como por exemplo: criar e editar autómatos, reconhecer palavras, gerar palavras, determinar propriedades, efetuar conversões de/para outros tipos de modelo. Ao nível da biblioteca foi desafiante lidar com questões de não determinismo, estruturas cíclicas e casos de potencial não terminação. Na aplicação gráfica existiu a ambição de desenvolver uma interface gráfica criativa, intuitiva e pedagógica, oferecendo uma rica panóplia de operações. Destaque para o grande investimento colocado na animação da operação de reconhecimento de palavras para autómatos de pilha possivelmente não deterministas. Neste documento apresenta-se e discute-se o resultado deste trabalho.