Adicionada estrutura para a disciplina: Teoria da Computação