Ementa/Descrição: |
Gramáticas. Linguagens regulares, livres-de-contexto e sensíveis-ao-contexto. Tipos
de reconhecedores. Operações com linguagens. Propriedades das linguagens. Autômatos de estados
finitos. Autômatos de pilha. Máquina de Turing. Funções recursivas. Tese de Church. Teorema da
incompletude de Godel. Classes de problemas P, NP, NP-Completo e NP-Difícil. Métodos de
redução de problemas. |