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...

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...

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

Requisitos do sistema: Software para leitura de arquivo em PDF