Recursive language
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. Equivalentemente, uma linguagem é recursiva se existe uma máquina de Turing que sempre pára quando recebe uma sequência finita de símbolos do alfabeto da linguagem como entrada e que aceita exatamente as palavras do alfabeto da linguagem que são parte da linguagem e rejeita todas as outras palavras. Linguagens recursivas são também chamadas de decidíveis ou Turing-decidíveis. A classe de todas as linguagens recursivas é freqüentemente chamado de R, embora este nome é usado também para a classe .
Abstract family of languagesAlgorithmically solvableAlternating timed automatonBlum axiomsBurrows–Abadi–Needham logicChannel system (computer science)Chomsky hierarchyCircuit (computer science)Circuit complexityCombinatorial optimizationComplexity classComputabilityComputable setContext-sensitive languageDecidabilityDecidable languageDeterminacyDiophantine setEnumerationEthereumFormal languageIndex of philosophy articles (D–H)Index of philosophy articles (R–Z)KernelizationKleene algebraLanguage identification in the limitList of computability and complexity topicsList of formal language and literal string topicsList of mathematical logic topicsList of terms relating to algorithms and data structuresList of undecidable problemsMachine that always haltsMichael O. RabinModel theoryOutline of logicParallel computation thesisPerlPolynomial hierarchyRE (complexity)RP (complexity)
Link from a Wikipage to another Wikipage
differentFrom
primaryTopic
Recursive language
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. Equivalentemente, uma linguagem é recursiva se existe uma máquina de Turing que sempre pára quando recebe uma sequência finita de símbolos do alfabeto da linguagem como entrada e que aceita exatamente as palavras do alfabeto da linguagem que são parte da linguagem e rejeita todas as outras palavras. Linguagens recursivas são também chamadas de decidíveis ou Turing-decidíveis. A classe de todas as linguagens recursivas é freqüentemente chamado de R, embora este nome é usado também para a classe .
has abstract
A linguagem recursiva em matem ...... ão recursivamente enumeráveis.
@pt
En matemàtiques, lògica i comp ...... ext son llenguatges recursius.
@ca
En matemáticas, lógica y cienc ...... exto son lenguajes recursivos.
@es
En mathématiques, en logique e ...... écidable, ou Turing-decidable.
@fr
Formální jazyk L je rekurzivní ...... zyky, které nejsou rekurzivní.
@cs
In der theoretischen Informati ...... es Satzes von Rice nachweisen.
@de
In matematica, logica e inform ...... la classificazione di Chomsky.
@it
Język rekurencyjny – rodzaj ję ...... iona w hierarchii Chomsky’ego.
@pl
В математической логике и инфо ...... пределен в иерархии Хомского .
@ru
在数学、逻辑和计算机科学中，递归语言或遞迴語言是也叫做可判定语言或图灵可判定语言的形式语言类型。所有递归语言的类经常被称为 。这种语言类型在乔姆斯基层级中没有定义。
@zh
Link from a Wikipage to an external page
Wikipage page ID
23,290,990
page length (characters) of wiki page
Wikipage revision ID
1,014,250,769
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
comment
A linguagem recursiva em matem ...... é usado também para a classe .
@pt
En matemàtiques, lògica i comp ...... guatges recursius s'anomena R.
@ca
En matemáticas, lógica y cienc ...... enominan lenguajes decidibles.
@es
En mathématiques, en logique e ...... écidable, ou Turing-decidable.
@fr
Formální jazyk L je rekurzivní ...... zyky, které nejsou rekurzivní.
@cs
In der theoretischen Informati ...... es Satzes von Rice nachweisen.
@de
In matematica, logica e inform ...... la classificazione di Chomsky.
@it
Język rekurencyjny – rodzaj ję ...... iona w hierarchii Chomsky’ego.
@pl
В математической логике и инфо ...... пределен в иерархии Хомского .
@ru
在数学、逻辑和计算机科学中，递归语言或遞迴語言是也叫做可判定语言或图灵可判定语言的形式语言类型。所有递归语言的类经常被称为 。这种语言类型在乔姆斯基层级中没有定义。
@zh
label
Język rekurencyjny
@pl
Langage récursif
@fr
Lenguaje recursivo
@es
Linguagem recursiva
@pt
Linguaggio ricorsivo
@it
Llenguatge recursiu
@ca
Recursive language
@en
Rekursive Sprache
@de
Rekurzivní jazyk
@cs
Рекурсивный язык
@ru