Grupos co-livres de contexto

• Processo: 18/24172-9
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de março de 2019
• Data de Término da vigência: 30 de setembro de 2019
• Área de conhecimento: Ciências Exatas e da Terra - Matemática - Álgebra
• Pesquisador responsável: Dessislava Hristova Kochloukova
• Beneficiário: Bianca Boeira Dornelas
• Instituição Sede: Instituto de Matemática, Estatística e Computação Científica (IMECC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Ciência da computação Linguagens livres de contexto Autômatos finitos
• Palavra(s)-Chave do Pesquisador: Autômatos a estados finitos | Grupos de Thompson | Grupos que agem sobre arvores | Hierarquia de grupos através de autômatos | Linguagens livres de contexto | teoria de grupos

Resumo

Neste projeto o aluno estudará grupos do ponto de vista da ciência da computação. O primeiro objetivo deste projeto é ler o artigo de Holt, Rees, Röver e Thomas sobre os grupos co-livres de contexto. Estes grupos são o passo atual na hierarquia de Chomsky de grupos com relação a autômatas e que anteriormente classificou os grupos finitos e os grupos virtualmente livres. Depois estudaremos a prova de Lenhert e Schweitzer, que mostra que o grupo de Thompson V é um grupo co-livre de contexto e porque este é importante. (AU)