Categoria:Teoria da computação

A

• Algoritmos‎ (21 C, 133 P)
• Aritmética computacional‎ (1 C, 30 P)
• Arquitetura de computadores‎ (20 C, 73 P)
• Autômatos celulares‎ (1 C, 12 P)

C

• Complexidade‎ (3 C, 70 P)
• Computação quântica‎ (1 C, 37 P)

E

• Estruturas de dados‎ (3 C, 68 P)

I

• Inteligência artificial‎ (16 C, 142 P)

L

• Linguagens formais‎ (3 C, 78 P)

M

• Métodos formais‎ (4 C, 22 P)
• Modelos computacionais‎ (23 P)
• Modelos de computação‎ (1 C, 7 P)

S

• Sistemas de reescrita de termos‎ (6 P)

T

• Tecnologia adaptativa‎ (5 P)
• Teoria da complexidade computacional‎ (2 C, 34 P)
• Teoria dos problemas‎ (3 P)

• Teoria da computação

!

• Predefinição:Teoria da computação

*

• Lista de problemas indecidíveis
• Redução de Turing
• Redução por tabela verdade

A

• Algoritmo de Brandes
• Algoritmo de Markov
• Usuário(a):Vitor.antero/algoritmo de Markov
• Algoritmo de Thompson
• Algoritmo do castor
• Algoritmo não determinístico
• Algoritmo super-recursivo
• ASF+SDF Meta-Environment
• Autômato
• Autômato de Büchi
• Autômato de Muller
• Autômato finito determinístico acíclico
• Autômato finito não determinístico
• Autômato finito não determinístico com transições ε
• Autômato ω
• Autorreferência

C

• Cálculo lambda
• Cálculo lambda simplesmente tipado
• Caso especial
• Clausura (ciência da computação)
• Codificação de Church
• Computabilidade
• Computação interativa
• Computação real
• Conjunto de vértices de retroalimentação
• Conjunto recursivo
• Conjunto simples
• Conjuntos recursivamente enumeráveis
• Constante de Chaitin
• Construção do conjunto das partes
• Correspondência numérica 3-dimensional

D

• Definição recursiva
• Minimização de AFD
• Dtime

E

• Engenharia semiótica
• Enumerador
• Exptime

F

• Forma normal beta
• Formalismo de Backus-Naur
• Função computável
• Função de perda
• Função μ-recursiva

G

• Gap Redução
• Gramática de atributos
• Gramática formal
• Gramática indexada
• Gramática irrestrita
• Gramática regular
• Gramáticas de Van Wijngaarden
• Gramática sensível ao contexto
• Grau de Turing

H

• Hierarquia de Chomsky
• Hipercomputação
• História da tese de Church-Turing
• Histórico de computação

I

• Indistinguibilidade computacional

L

• Limites da computação
• Linguagem livre de contexto
• Linguagem ômega
• Linguagem recursiva
• Linguagem recursivamente enumerável
• Linguagem regular
• Linguagem sensível ao contexto
• Lógica combinatória
• Lógica combinatória binária
• Lógica em ciência da computação

M

• Máquina de estados finita
• Máquina de estados finitos estendida
• Máquina de estados finitos não determinística
• Máquina de Post-Turing
• Máquina de Turing alternante
• Máquina de Turing quântica
• Máquina de Mealy
• Máquina de Moore
• Máquina oráculo
• Galeria das máquinas de Turing
• Máquina de Turing
• Máquina de Turing não determinística
• Máquina de Turing que sempre para
• Máquina de Turing universal
• Máquinas de Turing equivalentes
• Metalinguagem
• Método efetivo
• Modelo de computação

N

• Nomografia
• Numeração (teoria da computação)
• Número computável
• Número de Gödel

O

• O de Kleene

P

• PP (complexidade)
• Princípio de Church-Turing-Deutsch
• Problema computacional
• Problema da alcançabilidade
• Problema da correspondência de Post
• Problema de busca
• Problema de decisão
• Problema de otimização
• Problema dos dois generais
• Problema indecidível
• Problema transcomputacional

R

• Reconhecedores
• Recursão mútua
• Redução (teoria da recursão)
• Redução em espaço logarítmico
• Redução por mapeamento

S

• Salto de Turing
• Sequente
• Sharp-SAT
• Sistema de cadeia reescrito
• Sistemas de Thue-Semi

T

• Teorema de Cook-Levin
• Teorema de Rice
• Teorema de Valiant-Vazirani
• Teorema Smn
• Teoria dos autômatos
• Teoria da computabilidade
• Teoria da prova estrutural
• Teoria do caos
• Teoria da prova
• Tese da computação paralela
• Tese de Church-Turing
• Teste X-Máquina
• Turing completude
• Turing tarpit

V

• Valor não definido

X

• Máquina X