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 Ver menos

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 Ver menos