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	http://www.lcs.mit.edu/publications/pubs/ps/MIT-LCS-TM-043.ps https://archive.org/details/introductiontoth00sips/page/151
dbo:wikiPageWikiLink	dbc:Computability_theory dbr:Recursion dbr:Context-free_language dbr:Recursively_enumerable_language dbr:Alphabet dbr:First-order_logic dbr:Set_(mathematics) dbr:Closure_(mathematics) dbr:Homomorphism dbr:R_(complexity) dbr:Computable_set dbr:Linear_bounded_automaton dbr:Logic dbr:Mathematics dbr:Formal_language dbr:Presburger_arithmetic dbr:RP_(complexity) dbr:Algorithm dbc:Formal_languages dbr:Subset dbc:Recursion dbr:Computer_science dbr:Chomsky_hierarchy dbr:Mathematical_logic dbr:Context-sensitive_language dbr:Symbol_(formal) dbr:Regular_language dbr:Kleene_star dbr:Undecidable_problem dbc:Theory_of_computation dbr:Turing_machine dbr:Decision_problem dbr:Recursive_set dbr:Help:Shortened_footnotes dbr:Total_Turing_machine dbr:Non-deterministic_Turing_machine dbr:Machine_that_always_halts dbr:Alphabet_(computer_science) dbr:Wikipedia:PARREF dbr:Literal_string dbr:Models_of_computation
dbp:wikiPageUsesTemplate	dbt:Formal_languages_and_grammars dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:Not_a_typo dbt:About dbt:Sfnp dbt:Citation_needed 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) Język rekurencyjny (pl) 재귀 언어 (ko) Linguagem recursiva (pt) Рекурсивный язык (ru) 递归语言 (zh)
owl:sameAs	freebase:Recursive language yago-res:Recursive language wikidata:Recursive language dbpedia-it:Recursive language dbpedia-de:Recursive language dbpedia-fr:Recursive language dbpedia-zh:Recursive language dbpedia-ja:Recursive language dbpedia-pt:Recursive language dbpedia-he:Recursive language dbpedia-es:Recursive language dbpedia-fa:Recursive language dbpedia-ru:Recursive language dbpedia-pl:Recursive language dbpedia-ko:Recursive language dbpedia-ca:Recursive language dbpedia-bs:Recursive language dbpedia-cs: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=1291616253&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Recursive_language
is dbo:wikiPageRedirects of	dbr:Decidable_language dbr:Recursive_Languages dbr:Algorithmically_solvable dbr:Turing-Decidable_Languages dbr:Turing-decidable_language
is dbo:wikiPageWikiLink of	dbr:Recursively_enumerable_language dbr:List_of_terms_relating_to_algorithms_and_data_structures dbr:Abstract_family_of_languages dbr:R_(complexity) dbr:Type_theory dbr:Computable_set dbr:Kleene_algebra dbr:Universal_Turing_machine dbr:Decider_(Turing_machine) dbr:Fallibilism dbr:Formal_language dbr:Kernelization dbr:Index_of_philosophy_articles_(R–Z) dbr:Computability dbr:Circuit_complexity dbr:RP_(complexity) dbr:Chomsky_hierarchy dbr:Blum_axioms dbr:Perl dbr:Complexity_class dbr:Context-sensitive_language dbr:RE_(complexity) dbr:Unary_language dbr:Language_identification_in_the_limit dbr:Alternating_timed_automaton dbr:Ethereum dbr:Alternation_(formal_language_theory) dbr:Semi-membership dbr:Outline_of_logic dbr:Diophantine_set dbr:Decidable_language dbr:Recursive_Languages dbr:Algorithmically_solvable dbr:Turing-Decidable_Languages dbr:Turing-decidable_language
is owl:differentFrom of	dbr:Formal_grammar
is foaf:primaryTopic of	wikipedia-en:Recursive_language