A carregar...
Publicação
Unrestricted grammars, context-sensitive grammars and context-free grammars in OCamlFLAT/OFLAT
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 3.12 MB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
This dissertation explores the support for unrestricted grammars, context-sensitive gram-
mars, and context-free grammars in the pedagogical oriented OCamlFLAT/OFLAT system.
It addresses relevant topics in formal language theory and examines the practical aspects
of implementing these three classic grammar types in a computational environment.
The project enhanced the OCamlFLAT library with comprehensive support for these
grammar types, enabling functionalities such as grammar cleaning, classification, accep-
tance testing, word generation, composition operations over grammars, and conversion
between different formal language models and automata. All these mechanisms were
well integrated into both the OCamlFLAT library and the OFLAT web application. In
the case of OFLAT, particular attention was given to supporting the viewing, editing,
and manipulation of grammars and, more generally, to providing a user-friendly and
pedagogical interface for all grammar-related functionalities.
To achieve these goals, several steps were taken. First, the fundamental concepts
of formal language theory were studied. Existing pedagogical tools supporting formal
grammars were analyzed, and the current OCamlFLAT/OFLAT system code was reviewed.
Additionally, the OCaml-JavaScript interoperability solution, 𝑗𝑠_𝑜 𝑓 _𝑜𝑐𝑎𝑚𝑙, was explored,
as the entire system—including the graphical user interface of the web application—was
developed in OCaml.
Resumo Esta dissertação explora o suporte a gramáticas irrestritas, gramáticas sensíveis ao contexto e gramáticas livres de contexto no sistema pedagógico OCamlFLAT/OFLAT. A mesma aborda tópicos relevantes da teoria de linguagens formais e examina os aspectos práticos da implementação desses três tipos clássicos de gramáticas em num ambiente computacional. O projeto aperfeiçoou a biblioteca OCamlFLAT com suporte abrangente para estes tipos de gramática, permitindo funcionalidades como limpeza de gramáticas, classificação, teste de aceitação, geração de palavras, operações de composição sobre gramáticas e conversão entre diferentes modelos de linguagem formal e autómatos. Todos estes mecanismos foram bem integrados tanto na biblioteca OCamlFLAT quanto na aplicação web OFLAT. No caso do OFLAT, deu-se especial atenção ao suporte de visualização, edição e manipulação de gramáticas e, de forma mais geral, à construção de uma interface amigável e pedagógica para todas as funcionalidades relacionadas com gramáticas. Para atingir estes objetivos, várias etapas foram tomadas. Primeiro, os conceitos fun- damentais da teoria da linguagem formal foram estudados. Ferramentas pedagógicas existentes que dão suporte a gramáticas formais e autómatos foram analisadas, e o código atual do sistema OCamlFLAT/OFLAT foi revisado. Além disso, a solução de interopera- bilidade OCaml-JavaScript, 𝑗𝑠_𝑜 𝑓 _𝑜𝑐𝑎𝑚𝑙, foi explorada, pois todo o sistema — incluindo a interface gráfica do usuário do aplicativo da web — foi desenvolvido em OCaml.
Resumo Esta dissertação explora o suporte a gramáticas irrestritas, gramáticas sensíveis ao contexto e gramáticas livres de contexto no sistema pedagógico OCamlFLAT/OFLAT. A mesma aborda tópicos relevantes da teoria de linguagens formais e examina os aspectos práticos da implementação desses três tipos clássicos de gramáticas em num ambiente computacional. O projeto aperfeiçoou a biblioteca OCamlFLAT com suporte abrangente para estes tipos de gramática, permitindo funcionalidades como limpeza de gramáticas, classificação, teste de aceitação, geração de palavras, operações de composição sobre gramáticas e conversão entre diferentes modelos de linguagem formal e autómatos. Todos estes mecanismos foram bem integrados tanto na biblioteca OCamlFLAT quanto na aplicação web OFLAT. No caso do OFLAT, deu-se especial atenção ao suporte de visualização, edição e manipulação de gramáticas e, de forma mais geral, à construção de uma interface amigável e pedagógica para todas as funcionalidades relacionadas com gramáticas. Para atingir estes objetivos, várias etapas foram tomadas. Primeiro, os conceitos fun- damentais da teoria da linguagem formal foram estudados. Ferramentas pedagógicas existentes que dão suporte a gramáticas formais e autómatos foram analisadas, e o código atual do sistema OCamlFLAT/OFLAT foi revisado. Além disso, a solução de interopera- bilidade OCaml-JavaScript, 𝑗𝑠_𝑜 𝑓 _𝑜𝑐𝑎𝑚𝑙, foi explorada, pois todo o sistema — incluindo a interface gráfica do usuário do aplicativo da web — foi desenvolvido em OCaml.
Descrição
Palavras-chave
formal languages unrestricted grammars context-sensitive grammars context- free grammar regular expression OCamlFLAT/OFLAT