22 relações: Alfabeto, Algoritmo, Ciência da computação, Conjunto, Conjuntos recursivamente enumeráveis, Fecho, Fecho de Kleene, Hierarquia de Chomsky, Lógica, Linguagem formal, Linguagem livre de contexto, Linguagem recursivamente enumerável, Linguagem regular, Linguagem sensível ao contexto, Matemática, Máquina de Turing, Máquina de Turing que sempre para, Michael Sipser, Problema de decisão, Problema indecidível, R (complexidade), Recursividade.
Alfabeto
Alfabeto ou Abecedário é uma forma de escrita de signos e significados classificada como "segmental", pois possui grafemas que representam fonemas (unidade básica de som) de uma língua, podendo ser classificada também como uma escrita fonética, pois procura representar os fonemas por um determinado signo.
Novo!!: Linguagem recursiva e Alfabeto · Veja mais »
Algoritmo
Uma animação do algoritmo de ordenação quicksort de uma matriz de valores ao acaso. As barras vermelhas marcam o elemento pivô. No início da animação, estando o elemento para o lado direito, é escolhido como o pivô Em matemática e ciência da computação, um algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema.
Novo!!: Linguagem recursiva e Algoritmo · Veja mais »
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Linguagem recursiva e Ciência da computação · Veja mais »
Conjunto
Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.
Novo!!: Linguagem recursiva e Conjunto · 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!!: Linguagem recursiva e Conjuntos recursivamente enumeráveis · Veja mais »
Fecho
Em topologia, o fecho ou aderência de um subespaço topológico S de X é o menor fechado de X que contém S.
Novo!!: Linguagem recursiva e Fecho · Veja mais »
Fecho de Kleene
Na lógica matemática e na ciência da computação, o fecho de Kleene, estrela de Kleene ou operador de Kleene, é uma operação unária aplicada a conjuntos.
Novo!!: Linguagem recursiva e Fecho de Kleene · Veja mais »
Hierarquia de Chomsky
Hierarquia de Chomsky é a classificação de gramáticas formais descrita em 1959 pelo linguista Noam Chomsky.
Novo!!: Linguagem recursiva e Hierarquia de Chomsky · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Linguagem recursiva e Lógica · 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!!: Linguagem recursiva e Linguagem formal · Veja mais »
Linguagem livre de contexto
Na teoria de linguagens formais, uma linguagem livre de contexto (LLC) é uma linguagem gerada por alguma gramática livre de contexto (GLC).
Novo!!: Linguagem recursiva e Linguagem livre de contexto · Veja mais »
Linguagem recursivamente enumerável
Em matemática, lógica e ciência da computação, uma linguagem recursivamente enumerável é um tipo de Linguagem formal que também é chamada de linguagem Turing-reconhecível.
Novo!!: Linguagem recursiva e Linguagem recursivamente enumerável · Veja mais »
Linguagem regular
Na teoria da ciência da computação e teoria formal de linguagem, uma linguagem regular é uma linguagem formal que pode ser expressa usando expressões regulares, ou seja, uma linguagem produzida utilizando as operações de concatenação, união e fecho de Kleene sobre os elementos de um alfabeto.
Novo!!: Linguagem recursiva e Linguagem regular · Veja mais »
Linguagem sensível ao contexto
Na Ciência da computação teórica, a 'linguagem sensível ao contexto' é uma linguagem formal que pode ser definida por uma Gramática sensível ao contexto.
Novo!!: Linguagem recursiva e Linguagem sensível ao contexto · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Linguagem recursiva e Matemática · 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!!: Linguagem recursiva e Máquina de Turing · Veja mais »
Máquina de Turing que sempre para
Na teoria da computação, uma máquina de Turing que sempre para, também chamada de máquina de Turing total, é uma máquina de Turing que para para qualquer entrada.
Novo!!: Linguagem recursiva e Máquina de Turing que sempre para · Veja mais »
Michael Sipser
Michael Fredric Sipser é um professor de Matemática Aplicada no grupo de teoria da computação do Massachusetts Institute of Technology.
Novo!!: Linguagem recursiva e Michael Sipser · 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!!: Linguagem recursiva 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!!: Linguagem recursiva e Problema indecidível · Veja mais »
R (complexidade)
Na teoria da complexidade computacional, R é a classe de problemas de decisão solúveis por uma máquina de Turing, que é o conjunto de todas as linguagens recursivas.
Novo!!: Linguagem recursiva e R (complexidade) · Veja mais »
Recursividade
Uma forma visual de recursão conhecida como ''efeito Droste''. Recursividade (em português europeu: Recorrência), é um termo geralmente usado para descrever o processo de repetição de um objeto de um jeito similar ao que já fora mostrado.
Novo!!: Linguagem recursiva e Recursividade · Veja mais »