Co-context-free groups

Autor(es)

Bianca Boeira Dornelas

• Tipo de documento: Dissertação de Mestrado
• Imprenta: Campinas, SP.
• Instituição: Universidade Estadual de Campinas (UNICAMP). Instituto de Matemática, Estatística e Computação Científica
• Data de defesa: 2019-09-23

Membros da banca

Dessislava Hristova Kochloukova; Alex Carrazedo Dantas; Adriano Adrega de Moura

• Orientador: Francesco Matucci; Dessislava Hristova Kochloukova

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 (AU)

• Processo FAPESP: 17/24373-1 - Grupos co-livre de contexto
• Beneficiário: Bianca Boeira Dornelas
• Modalidade de apoio: Bolsas no Brasil - Mestrado