Opções de inscrição

Linguagens regulares, livres de contexto, sensíveis ao contexto, recursivas, recursivamente enumeráveis e não recursivamente enumeráveis: reconhecedores e geradores. Computabilidade: máquinas de Turing e funções recursivas. Decidibilidade, redutibilidade. Complexidade: NP-completude, espaço-completude.

Grau de Ensino: Graduação
Estudante
Estudante
Visitantes não podem acessar este curso. Por favor faça login.