Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Recursive_language> ?p ?o }
Showing triples 1 to 97 of
97
with 100 triples per page.
- Recursive_language abstract "In mathematics, logic and computer science, a formal language (a set of finite sequences of symbols taken from a fixed alphabet) is called recursive if it is a recursive subset of the set of all possible finite sequences over the alphabet of the language. Equivalently, a formal language is recursive if there exists a total Turing machine (a Turing machine that halts for every given input) that, when given a finite sequence of symbols as input, accepts it if belongs to the language and rejects it otherwise. Recursive languages are also called decidable.The concept of decidability may be extended to other models of computation. For example one may speak of languages decidable on a non-deterministic Turing machine. Therefore, whenever an ambiguity is possible, the synonym for "recursive language" used is Turing-decidable language, rather than simply decidable.The class of all recursive languages is often called R, although this name is also used for the class RP.This type of language was not defined in the Chomsky hierarchy of (Chomsky 1959). All recursive languages are also recursively enumerable. All regular, context-free and context-sensitive languages are recursive.".
- Recursive_language wikiPageExternalLink MIT-LCS-TM-043.ps.
- Recursive_language wikiPageExternalLink pdf?md5=0415089a2d692fcece18b43b5f63c67d&pid=1-s2.0-0022000078900211-main.pdf.
- Recursive_language wikiPageID "23290990".
- Recursive_language wikiPageLength "6560".
- Recursive_language wikiPageOutDegree "44".
- Recursive_language wikiPageRevisionID "651118683".
- Recursive_language wikiPageWikiLink Algorithm.
- Recursive_language wikiPageWikiLink Alphabet.
- Recursive_language wikiPageWikiLink Alphabet_(computer_science).
- Recursive_language wikiPageWikiLink Alphabet_(formal_languages).
- Recursive_language wikiPageWikiLink Category:Computability_theory.
- Recursive_language wikiPageWikiLink Category:Formal_languages.
- Recursive_language wikiPageWikiLink Category:Recursion.
- Recursive_language wikiPageWikiLink Category:Theory_of_computation.
- Recursive_language wikiPageWikiLink Chomsky_hierarchy.
- Recursive_language wikiPageWikiLink Closure_(mathematics).
- Recursive_language wikiPageWikiLink Computer_science.
- Recursive_language wikiPageWikiLink Context-free_language.
- Recursive_language wikiPageWikiLink Context-sensitive_language.
- Recursive_language wikiPageWikiLink Decision_problem.
- Recursive_language wikiPageWikiLink First-order_logic.
- Recursive_language wikiPageWikiLink Formal_language.
- Recursive_language wikiPageWikiLink Homomorphism.
- Recursive_language wikiPageWikiLink Kleene_star.
- Recursive_language wikiPageWikiLink Linear_bounded_automaton.
- Recursive_language wikiPageWikiLink Literal_string.
- Recursive_language wikiPageWikiLink Logic.
- Recursive_language wikiPageWikiLink Machine_that_always_halts.
- Recursive_language wikiPageWikiLink Mathematical_logic.
- Recursive_language wikiPageWikiLink Mathematics.
- Recursive_language wikiPageWikiLink Michael_Sipser.
- Recursive_language wikiPageWikiLink Model_of_computation.
- Recursive_language wikiPageWikiLink Models_of_computation.
- Recursive_language wikiPageWikiLink Non-deterministic_Turing_machine.
- Recursive_language wikiPageWikiLink Presburger_arithmetic.
- Recursive_language wikiPageWikiLink RP_(complexity).
- Recursive_language wikiPageWikiLink R_(complexity).
- Recursive_language wikiPageWikiLink Recursion.
- Recursive_language wikiPageWikiLink Recursive_set.
- Recursive_language wikiPageWikiLink Recursively_enumerable_language.
- Recursive_language wikiPageWikiLink Regular_language.
- Recursive_language wikiPageWikiLink Set_(mathematics).
- Recursive_language wikiPageWikiLink String_literal.
- Recursive_language wikiPageWikiLink Subset.
- Recursive_language wikiPageWikiLink Symbol_(formal).
- Recursive_language wikiPageWikiLink Total_Turing_machine.
- Recursive_language wikiPageWikiLink Turing_machine.
- Recursive_language wikiPageWikiLink Undecidable_problem.
- Recursive_language wikiPageWikiLinkText "Decidable".
- Recursive_language wikiPageWikiLinkText "Recursive language".
- Recursive_language wikiPageWikiLinkText "decidable".
- Recursive_language wikiPageWikiLinkText "recursive language".
- Recursive_language wikiPageWikiLinkText "recursive".
- Recursive_language wikiPageWikiLinkText "undecidability".
- Recursive_language wikiPageWikiLinkText "undecidable".
- Recursive_language hasPhotoCollection Recursive_language.
- Recursive_language wikiPageUsesTemplate Template:About.
- Recursive_language wikiPageUsesTemplate Template:Citation_needed.
- Recursive_language wikiPageUsesTemplate Template:Cite_book.
- Recursive_language wikiPageUsesTemplate Template:Cite_journal.
- Recursive_language wikiPageUsesTemplate Template:Formal_languages_and_grammars.
- Recursive_language wikiPageUsesTemplate Template:Harv.
- Recursive_language subject Category:Computability_theory.
- Recursive_language subject Category:Formal_languages.
- Recursive_language subject Category:Recursion.
- Recursive_language subject Category:Theory_of_computation.
- Recursive_language hypernym Subset.
- Recursive_language type Area.
- Recursive_language type Language.
- Recursive_language type Software.
- Recursive_language type Algorithm.
- Recursive_language type Area.
- Recursive_language type Combinatoric.
- Recursive_language type Language.
- Recursive_language type Thing.
- Recursive_language comment "In mathematics, logic and computer science, a formal language (a set of finite sequences of symbols taken from a fixed alphabet) is called recursive if it is a recursive subset of the set of all possible finite sequences over the alphabet of the language.".
- Recursive_language label "Recursive language".
- Recursive_language sameAs Rekurzivni_jezik.
- Recursive_language sameAs Rekurzivní_jazyk.
- Recursive_language sameAs Rekursive_Sprache.
- Recursive_language sameAs Lenguaje_recursivo.
- Recursive_language sameAs زبان_بازگشتی.
- Recursive_language sameAs Langage_récursif.
- Recursive_language sameAs Rekurzivni_jezik.
- Recursive_language sameAs Linguaggio_ricorsivo.
- Recursive_language sameAs 帰納言語.
- Recursive_language sameAs Język_rekurencyjny.
- Recursive_language sameAs Linguagem_recursiva.
- Recursive_language sameAs m.0f2zv.
- Recursive_language sameAs Рекурсивный_язык.
- Recursive_language sameAs Рекурзивни_језик.
- Recursive_language sameAs Q1455907.
- Recursive_language sameAs Q1455907.
- Recursive_language sameAs 递归语言.
- Recursive_language wasDerivedFrom Recursive_language?oldid=651118683.
- Recursive_language isPrimaryTopicOf Recursive_language.