16 relações: BASIC, Conjuntos recursivamente enumeráveis, Estrutura de controle, Função de Ackermann, Hierarquia aritmética, Laço infinito, Linguagem formal, Linguagem recursiva, Máquina de Turing, Problema da parada, Problema de decisão, Problema indecidível, Programação funcional, Relação bem-ordenada, Sistema de cadeia reescrito, Teoria da computação.
BASIC
BASIC (acrônimo para Beginner's All-purpose Symbolic Instruction Code; em português: Código de Instruções Simbólicas de Uso Geral para Principiantes) é uma linguagem de programação, criada com fins didáticos, pelos professores John George Kemeny, Thomas Eugene Kurtz e Mary Kenneth Keller em 1964 no Dartmouth College.
Novo!!: Máquina de Turing que sempre para e BASIC · Veja mais »
Conjuntos recursivamente enumeráveis
Na Teoria da computabilidade, tradicionalmente chamada teoria da recursão, um conjunto S de números naturais é chamado recursivamente enumerável, computavelmente enumerável, semi-decidível, demonstrável ou Turing-reconhecível se.
Novo!!: Máquina de Turing que sempre para e Conjuntos recursivamente enumeráveis · Veja mais »
Estrutura de controle
Em ciência da computação, estrutura de controle (ou fluxo de controle) refere-se à ordem em que instruções, expressões e chamadas de função são executadas ou avaliadas em programas de computador sob programação imperativa ou funcional.
Novo!!: Máquina de Turing que sempre para e Estrutura de controle · Veja mais »
Função de Ackermann
Na teoria da computabilidade, a Função de Ackermann, nomeada por Wilhelm Ackermann, é um dos mais simples e recém-descobertos exemplos de uma função computável que não são funções recursivas primitivas.
Novo!!: Máquina de Turing que sempre para e Função de Ackermann · Veja mais »
Hierarquia aritmética
Em Lógica matemática, a hierarquia aritmética, ou hierarquia de Kleene-Mostowski classifica certos conjuntos baseada na complexidade das formulas que o definem.
Novo!!: Máquina de Turing que sempre para e Hierarquia aritmética · Veja mais »
Laço infinito
Um laço infinito é uma sequência de instruções em um programa de computador que repete infinitamente, ou porque não há condição de parada ou porque a condição existe mas nunca é atingida.
Novo!!: Máquina de Turing que sempre para e Laço infinito · Veja mais »
Linguagem formal
Entende-se por linguagem formal estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos.
Novo!!: Máquina de Turing que sempre para e Linguagem formal · Veja mais »
Linguagem recursiva
A linguagem recursiva em matemática, lógica e ciência da computação, uma linguagem formal (a definir de sequências finitas de símbolos tomados de um fixo alfabeto) é chamada recursiva se é um subconjunto recursivo no conjunto de todas as palavras possíveis sobre o alfabeto da linguagem.
Novo!!: Máquina de Turing que sempre para e Linguagem recursiva · Veja mais »
Máquina de Turing
Representação artística de uma máquina de Turing A Máquina de Turing é um dispositivo teórico conhecido como máquina universal, que foi concebido pelo matemático britânico Alan Turing (1912-1954), muitos anos antes de existirem os modernos computadores digitais (o artigo de referência foi publicado em 1936).
Novo!!: Máquina de Turing que sempre para e Máquina de Turing · Veja mais »
Problema da parada
Na teoria da computabilidade o experimento mental do problema da parada é um problema de decisão que pode ser declarado informalmente da seguinte forma: Alan Turing provou em 1936 que um algoritmo genérico para resolver o problema da parada para todos pares programa-entrada possíveis não pode existir.
Novo!!: Máquina de Turing que sempre para e Problema da parada · Veja mais »
Problema de decisão
Na teoria da computabilidade e na teoria da complexidade computacional um problema de decisão é uma questão sobre um sistema formal com uma resposta do tipo sim-ou-não.
Novo!!: Máquina de Turing que sempre para e Problema de decisão · Veja mais »
Problema indecidível
Na teoria da computação e na teoria da complexidade computacional, um problema indecidível é um problema de decisão em que é impossível construir um algoritmo que sempre responde corretamente sim ou não.
Novo!!: Máquina de Turing que sempre para e Problema indecidível · Veja mais »
Programação funcional
Em ciência da computação, programação funcional é um paradigma de programação que trata a computação como uma avaliação de funções matemáticas e que evita estados ou dados mutáveis.
Novo!!: Máquina de Turing que sempre para e Programação funcional · Veja mais »
Relação bem-ordenada
Na matemática, uma relação bem-ordenada (ou boa-ordenação) em um conjunto S é uma ordenação total em S com a propriedade de que todo subconjunto não-vazio de S possui um elemento mínimo na ordenação.
Novo!!: Máquina de Turing que sempre para e Relação bem-ordenada · Veja mais »
Sistema de cadeia reescrito
Um sistema de cadeia reescrito é um sistema de substituição usado para criar cadeias lógias a partir de determinadas regras de reescrita.
Novo!!: Máquina de Turing que sempre para e Sistema de cadeia reescrito · Veja mais »
Teoria da computação
A teoria da computação é um subcampo da ciência da computação e matemática que busca determinar quais problemas podem ser computados em um dado modelo de computação.
Novo!!: Máquina de Turing que sempre para e Teoria da computação · Veja mais »