Ementa/Descrição: |
Estudo das linguagens formais da Hierarquia de Chomsky. Estudo dos formalismos matemáticos
geradores, e/ou denotacionais, e reconhecedores de cada uma destas linguagens. Desenvolvimento
da noção de computabilidade e decibilidade, e os problemas envolvidos, para o desenvolvimento de
métodos de redução de problemas. Apresentação da Tese de Church e do Teorema da Incompletude
de Gödel. Desenvolvimento dos conceitos sobre as classes de problemas P, NP, NP-Completo e
NP-Difícil. |