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…