Introdução à Teoria da Computação: Trad. 2ª ed. norte-americana

Michael sipser

Ano: 2012 | Editora: Cengage Learning Editores SA de CVISBN 9788522108862
  • starstar_borderstar_half
  • starstar_borderstar_half
  • starstar_borderstar_half
  • starstar_borderstar_half
  • starstar_borderstar_half
  • avaliações

Resumo

afd, afn, aleatoriedade, algoritmo, algoritmos de aproximação, algoritmos probabilísticos, alternação, ambigüidade, autômato, auto-referência, bombeamento, booleano, cadeias, cadeias incompressíveis, chave-pública, chaves secretas, chomsky, church-turing, circuito, classe BPP, classe L, classe NC, classe NL, classe NP, classe P, cobertura de vértices, completude, Complexidade, Comprimento, Computabilidade, computação, Conjuntos, coNL, cook-Levin, criptografia, criptossistemas, cecidibilidade, diagonalização, enumeradores, equivalência, espaço alternante, espaço exponencial, expressão regular, expressões regulares, finito, finito não-determinístico, funções, funções alçapão, funções computáveis, funções unidirecionais, geografia, grafos, gramática livre-do-contexto, hamiltoniano, hierarquia, hilbert, informacão, intratabilidade, ip, jogos, lê-uma-vez, linguagem turing-irreconhecível, linguagens, linguagens decidíveis, linguagens livres-do-contexto, linguagens não-livres-do-contexto, linguagens não-regulares, linguagens regulares, lógica booleana, mapeamento, máquinas de turing, máquinas de turing multifita, máquinas de turing não-determinísticas, não-determinismo, não-isomorfismo, NL, notação, NP, NP-completos Adicionais, NP-completude, operações regulares, otimalidade, P, parada, P-completude, pilha, primalidade, problema indecidível, problemas indecidíveis, programas ramificantes, prova interativa, prova por construção, prova por contradição, prova por indução, provas, PSPACE, PSPACE-completude, reduções, redutibilidade, relações, relativização, savitch, seqüências, soma, subconjuntos, tempo, tempo alternante, tempo polinomial, tempo polinomial, teorema, teorema da recursão, teoremas de hierarquia, teoria da complexidade, teoria da computabilidade, teoria de linguagens, teoria decidível, teoria dos autômatos, teoria indecidível, teorias lógicas, terminologia, terminologias matemáticas, termos matemáticos, TQBF, turing-redutibilidade, uniforme, uplas