Co-context-free groups Grupos co-livres de contexto
| Autor: | Dornelas, Bianca Boeira, 1996 |
|---|---|
| Přispěvatelé: | Kochloukova, Dessislava Hristova, 1970, Matucci, Francesco, 1977, Dantas, Alex Carrazedo, Moura, Adriano Adrega de, Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Computação Científica, Programa de Pós-Graduação em Matemática, UNIVERSIDADE ESTADUAL DE CAMPINAS |
| Rok vydání: | 2020 |
| Předmět: | |
| Zdroj: | Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP |
| DOI: | 10.47749/t/unicamp.2019.1091751 |
| Popis: | Orientadores: Dessislava Hristova Kochloukova, Francesco Matucci Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica Resumo: Na presente dissertação de mestrado, estudamos grupos do ponto de vista da ciência da computação. O primeiro objetivo é entender a construção da Teoria de Chomsky em Grupos através da construção dos teoremas de Anisimov [21] e de Muller & Schupp [10]. Depois disso, são estudadas propriedades gerais da próxima classe de grupos na Hierarquia, os grupos co-livres de contexto, através de [15]. Finalizamos apresentando os grupos F, T e V de Thompson e demonstrando, com as técnicas de [18], que V é um grupo co-livre de contexto Abstract: In the present work we study groups from the point of view of scientific computation. The first goal is to understand the construction of the Chomsky¿s Hierarchy for Groups by constructing Anisimov¿s [21] and Muller & Schupp¿s [10] theorems. After that, general properties of the next class of groups in the Hierarchy, the co-context-free groups, are studied using [15]. We end presenting the Thompson¿s groups F, T and V and showing, with the techniques from [18], that V is a co-context-free group Mestrado Matemática Mestra em Matemática FAPESP 2017/24373-1, 2018/24172-9 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|