Sistemas de Reescrita Especiais

Um sistema de reescrita é uma relação binária que é definida sobre o monóide livre gerado por um certo alfabeto. Com este sistema podemos definirum novo monóide. Nesta apresentação falar-se-á dos sistemas de reescrita, fazendo-se entretanto uma incursão por alguns resultados da teoria de semigrupos. No final serão analisadas algumas propriedades de um caso particular de sistemas de reescrita, os sistemas de reescrita especiais, e as características que os monóides que eles definem vão apresentar.