Autómatos de Pilha em OCamlFLAT/OFLAT

• Autor(a) principal: Araújo, Miguel Santos
• Data de Publicação: 2022
• 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/159642
• topic: Teoria das linguagens formais e autómatos; Programação Funcional; OCaml; OCamlFLAT; OFLAT; Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

Com a crescente procura de cursos de Engenharia Informática, são muitos os alunos que precisam de realizar uma disciplina de Teoria da Computação e depois de usar o que aprenderam na sua vida profissional. Mas os tópicos lecionados não são simples. Para ajudar no ensino, têm vindo a ser desenvolvidas as mais diversas ferramentas pedagógicas. É esta a motivação por trás da elaboração da biblioteca OCamlFLAT e da aplicação web OFLAT. Como o nome indica, OCamlFLAT é uma implementação de alguns dos conceitos referidos usando a linguagem de programação OCaml. Quanto à ferramenta OFLAT, desenvolvida sobre a biblioteca anterior, permite a visualização e manipulação gráfica dos con-ceitos teóricos, incluindo a animação interativa de determinados processamentos. Esta dissertação visou estender as duas ferramentas com a adição de suporte para au-tómatos de pilha. Foram desenvolvidas as funcionalidades normais esperadas neste domínio, tanto na biblioteca, ao nível lógico, como na aplicação gráfica, através duma interface gráfica ambiciosa com preocupações pedagógicas. Exemplos de funcionalidades desenvolvidas: aceitação e geração de palavras; transformações diversas tais como eliminar os estados inacessíveis; predicados para testar propriedades como por exemplo o determinismo. De notar que estas funcionalidades se aplicam a autómatos de pilha deterministas e não-deterministas. Neste documento apresenta-se e discute-se criticamente o resultado deste trabalho.