Loading...
Publication
UAbALL – Automata Learning Lab: simulação de autómatos finitos deterministas (DFA)
| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 3.01 MB | Adobe PDF |
Advisor(s)
Abstract(s)
O Automata Learning Lab da Universidade Aberta (UAbALL), pretende ser um
laboratório integrado de simulação de autómatos. Numa primeira fase focado na
construção da base e introduzindo a Simulação de Autómatos Finitos Deterministas
(DFA). Este Laboratório ambiciona gozar de capacidade de extensibilidade e
adaptabilidade, sendo este documento uma base técnica e científica para que no futuro
sejam produzidas as restantes componentes, assim como adaptado a novas realidades
tecnológicas e plataformas de distribuição.
Durante este trabalho são utilizados Conceitos Centrais da Teoria de Autómatos, tais
como Alfabeto (∑) – Conjunto finito de símbolos; String – Sequência finita de símbolos
escolhidos de um alfabeto; Cadeia Vazia(ε) – ou String vazia; Comprimento de
String(|𝜔|) – numero de elementos na String; Concatenação de Strings (𝑥 = 011; 𝑦 =
100; 𝑥𝑦 = 011100); Linguagem(𝓛) – conjunto de símbolos que obedece a uma
propriedade num Alfabeto; Construtores de Conjuntos – para definição de
Linguagens, por exemplo { 𝜔 | 𝜔 é 𝑢𝑚 𝑛𝑢𝑚𝑒𝑟𝑜 𝑏𝑖𝑛𝑎𝑟𝑖𝑜 𝑝𝑟𝑖𝑚𝑜}.
O Capítulo 1 consiste na apresentação formal do projeto, delineando os objetivos e
apresentando o plano de trabalho.
Para o segundo Capítulo ficou reservado o processo de conceção, com respetivas
especificações e desenhos, desde a aplicação dos idiomas, passando pelos menus,
funcionalidades globais, interface gráfica, discussão e decisão do ambiente e definição
de recursos.
O Capítulo 3, dedica-se à implementação, dos temas e abordagens discutidas no capítulo
anterior, concluindo com os testes à aplicação e discussão dos resultados obtidos.
Antes da apresentação das conclusões, é disponibilizada a versão 0.1 do laboratório, e
delineado o plano de acompanhamento de novas versões.
Todo o código resultante deste projeto, é anexado no final deste manual de projeto, que
se pretende Relatório técnico para trabalho futuro.
The "Automata Learning Lab da Universidade Aberta (UAbALL)" strives to be an integrated laboratory for simulation of Automata. A first phase focused on building the base and introducing the Simulation of Deterministic Finite Automata (DFA). This Laboratory intends to enjoy the capacity of extensibility and adaptability, being this document a technical and scientific basis for the future production of the remaining components, as well as adapted to new technological realities and distribution platforms. During this work, Central Concepts of Automata Theory are used, such as Alphabet (∑) - Finite set of symbols; String - Finite sequence of symbols chosen from an alphabet; Empty String (ε) - or Empty String; String Length (|𝜔|) - number of elements in the String; String Concatenation (𝑥 = 011; 𝑦 = 100; 𝑥𝑦 = 011100); Language (𝓛) - set of symbols that obey a property in an Alphabet; Set Builders - for defining Languages, for example { 𝜔 | 𝜔 𝑖𝑠 𝑎 𝑝𝑟𝑖𝑚𝑒 𝑏𝑖𝑛𝑎𝑟𝑦 𝑛𝑢𝑚𝑏𝑒𝑟}.. Chapter 1 consists of the formal presentation of the project, outlining the objectives and presenting the work plan. For the second Chapter, the design process was reserved, with respective specifications and drawings, from the application of languages, through menus, global functionalities, graphical interface, discussion and decision of the environment, plus the definition of resources. Chapter 3 is dedicated to the implementation of the themes and approaches addressed in the former chapter, concluding with tests on the application and discussion regarding the results achieved. Before the presentation concerning the conclusions, version 0.1 of the laboratory is made available, and the plan for monitoring new versions is outlined. All code resulting from this project is attached to the end of this project manual, which indicates the technical report for future work.
The "Automata Learning Lab da Universidade Aberta (UAbALL)" strives to be an integrated laboratory for simulation of Automata. A first phase focused on building the base and introducing the Simulation of Deterministic Finite Automata (DFA). This Laboratory intends to enjoy the capacity of extensibility and adaptability, being this document a technical and scientific basis for the future production of the remaining components, as well as adapted to new technological realities and distribution platforms. During this work, Central Concepts of Automata Theory are used, such as Alphabet (∑) - Finite set of symbols; String - Finite sequence of symbols chosen from an alphabet; Empty String (ε) - or Empty String; String Length (|𝜔|) - number of elements in the String; String Concatenation (𝑥 = 011; 𝑦 = 100; 𝑥𝑦 = 011100); Language (𝓛) - set of symbols that obey a property in an Alphabet; Set Builders - for defining Languages, for example { 𝜔 | 𝜔 𝑖𝑠 𝑎 𝑝𝑟𝑖𝑚𝑒 𝑏𝑖𝑛𝑎𝑟𝑦 𝑛𝑢𝑚𝑏𝑒𝑟}.. Chapter 1 consists of the formal presentation of the project, outlining the objectives and presenting the work plan. For the second Chapter, the design process was reserved, with respective specifications and drawings, from the application of languages, through menus, global functionalities, graphical interface, discussion and decision of the environment, plus the definition of resources. Chapter 3 is dedicated to the implementation of the themes and approaches addressed in the former chapter, concluding with tests on the application and discussion regarding the results achieved. Before the presentation concerning the conclusions, version 0.1 of the laboratory is made available, and the plan for monitoring new versions is outlined. All code resulting from this project is attached to the end of this project manual, which indicates the technical report for future work.
Description
Projeto final para a Licenciatura em Engenharia Informática apresentado à Universidade Aberta, 2020.
Keywords
Autómatos finitos Linguagens e expressões regulares Linguagens e gramáticas independentes de contexto Máquinas de turing Finite automota Regular expressions and languages Context-free grammars and languages Turing machines