Grupos co-livre de contexto

• Processo: 17/24373-1
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de março de 2018
• Data de Término da vigência: 30 de novembro de 2018
• Área de conhecimento: Ciências Exatas e da Terra - Matemática - Álgebra
• Pesquisador responsável: Francesco Matucci
• 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
• Vinculado ao auxílio: 16/12196-5 - Algoritmos e classificação em grupos, AP.JP
• 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 Combinatorial e Geometrica 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)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

DORNELAS, Bianca Boeira. Co-context-free groups. 2019. Dissertação de Mestrado - Universidade Estadual de Campinas (UNICAMP). Instituto de Matemática, Estatística e Computação Científica Campinas, SP.