About: Recursive language

Property	Value
dbo:description	type de langage formel (fr) tipo di linguaggio formale (it) subconjunto recursivo del conjunto de todas las secuencias finitas posibles sobre el alfabeto del lenguaje (es) recursive subset of the set of all possible finite sequences over the alphabet of the language (en) סוג של שפה פורמלית (iw)
dbo:wikiPageExternalLink	https://archive.org/details/introductiontoth00sips/page/151 http://www.lcs.mit.edu/publications/pubs/ps/MIT-LCS-TM-043.ps
dbo:wikiPageWikiLink	dbr:Presburger_arithmetic dbr:Closure_(mathematics) dbr:Mathematics dbr:Computable_set dbr:Linear_bounded_automaton dbc:Computability_theory dbr:Algorithm dbr:Alphabet dbr:Computer_science dbr:Logic dbr:Mathematical_logic dbr:Turing_machine dbr:Context-sensitive_language dbr:Formal_language dbr:Decision_problem dbr:Recursively_enumerable_language dbr:Set_(mathematics) dbr:Recursion dbr:Subset dbr:Homomorphism dbr:Regular_language dbr:RP_(complexity) dbr:Context-free_language dbr:First-order_logic dbr:Chomsky_hierarchy dbr:R_(complexity) dbc:Formal_languages dbr:Symbol_(formal) dbr:Kleene_star dbr:Undecidable_problem dbc:Recursion dbc:Theory_of_computation dbr:Help:Shortened_footnotes dbr:Recursive_set dbr:Total_Turing_machine dbr:Alphabet_(computer_science) dbr:Non-deterministic_Turing_machine dbr:Machine_that_always_halts dbr:Models_of_computation dbr:Literal_string dbr:Wikipedia:PARREF
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Formal_languages_and_grammars dbt:About dbt:Cite_journal dbt:Not_a_typo dbt:Reflist dbt:Sfnp dbt:Short_description
dct:subject	dbc:Computability_theory dbc:Formal_languages dbc:Recursion dbc:Theory_of_computation
gold:hypernym	dbr:Subset
rdfs:label	Recursive language (en) Llenguatge recursiu (ca) Rekurzivní jazyk (cs) Rekursive Sprache (de) Langage récursif (fr) Lenguaje recursivo (es) Linguaggio ricorsivo (it) 帰納言語 (ja) 재귀 언어 (ko) Język rekurencyjny (pl) Linguagem recursiva (pt) Рекурсивный язык (ru) 递归语言 (zh)
owl:sameAs	yago-res:Recursive language freebase:Recursive language wikidata:Recursive language dbpedia-de:Recursive language dbpedia-es:Recursive language dbpedia-it:Recursive language dbpedia-pl:Recursive language dbpedia-fr:Recursive language dbpedia-he:Recursive language dbpedia-ja:Recursive language dbpedia-pt:Recursive language dbpedia-ru:Recursive language dbpedia-zh:Recursive language dbpedia-ko:Recursive language dbpedia-ca:Recursive language dbpedia-bs:Recursive language dbpedia-cs:Recursive language dbpedia-fa:Recursive language dbpedia-hr:Recursive language dbpedia-nn:Recursive language dbpedia-no:Recursive language dbpedia-sr:Recursive language dbpedia-global:Recursive language
prov:wasDerivedFrom	wikipedia-en:Recursive_language?oldid=1300431324&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Recursive_language
is dbo:wikiPageRedirects of	dbr:Decidable_language dbr:Algorithmically_solvable dbr:Recursive_Languages dbr:Turing-Decidable_Languages dbr:Turing-decidable_language
is dbo:wikiPageWikiLink of	dbr:Computability dbr:Kernelization dbr:Computable_set dbr:Perl dbr:Context-sensitive_language dbr:Formal_language dbr:Type_theory dbr:Kleene_algebra dbr:Complexity_class dbr:Recursively_enumerable_language dbr:Abstract_family_of_languages dbr:Blum_axioms dbr:Universal_Turing_machine dbr:Circuit_complexity dbr:RP_(complexity) dbr:Alternating_timed_automaton dbr:Chomsky_hierarchy dbr:Fallibilism dbr:R_(complexity) dbr:Diophantine_set dbr:Ethereum dbr:RE_(complexity) dbr:Decider_(Turing_machine) dbr:Alternation_(formal_language_theory) dbr:Outline_of_logic dbr:Index_of_philosophy_articles_(R–Z) dbr:Semi-membership dbr:Unary_language dbr:List_of_terms_relating_to_algorithms_and_data_structures dbr:Language_identification_in_the_limit dbr:Decidable_language dbr:Algorithmically_solvable dbr:Recursive_Languages dbr:Turing-Decidable_Languages dbr:Turing-decidable_language
is owl:differentFrom of	dbr:Formal_grammar
is foaf:primaryTopic of	wikipedia-en:Recursive_language