Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q1455907> ?p ?o }
Showing triples 1 to 47 of
47
with 100 triples per page.
- Q1455907 subject Q6468017.
- Q1455907 subject Q7035970.
- Q1455907 subject Q7142640.
- Q1455907 subject Q8596994.
- Q1455907 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.".
- Q1455907 wikiPageExternalLink MIT-LCS-TM-043.ps.
- Q1455907 wikiPageExternalLink pdf?md5=0415089a2d692fcece18b43b5f63c67d&pid=1-s2.0-0022000078900211-main.pdf.
- Q1455907 wikiPageWikiLink Q1063293.
- Q1455907 wikiPageWikiLink Q1073063.
- Q1455907 wikiPageWikiLink Q1149323.
- Q1455907 wikiPageWikiLink Q1166618.
- Q1455907 wikiPageWikiLink Q1190223.
- Q1455907 wikiPageWikiLink Q1190846.
- Q1455907 wikiPageWikiLink Q1430282.
- Q1455907 wikiPageWikiLink Q163310.
- Q1455907 wikiPageWikiLink Q177646.
- Q1455907 wikiPageWikiLink Q179976.
- Q1455907 wikiPageWikiLink Q190913.
- Q1455907 wikiPageWikiLink Q192161.
- Q1455907 wikiPageWikiLink Q21198.
- Q1455907 wikiPageWikiLink Q215111.
- Q1455907 wikiPageWikiLink Q2372244.
- Q1455907 wikiPageWikiLink Q2518389.
- Q1455907 wikiPageWikiLink Q2651576.
- Q1455907 wikiPageWikiLink Q3262192.
- Q1455907 wikiPageWikiLink Q3502995.
- Q1455907 wikiPageWikiLink Q36161.
- Q1455907 wikiPageWikiLink Q395.
- Q1455907 wikiPageWikiLink Q4055684.
- Q1455907 wikiPageWikiLink Q4720939.
- Q1455907 wikiPageWikiLink Q4736519.
- Q1455907 wikiPageWikiLink Q6468017.
- Q1455907 wikiPageWikiLink Q7035970.
- Q1455907 wikiPageWikiLink Q7142640.
- Q1455907 wikiPageWikiLink Q729271.
- Q1455907 wikiPageWikiLink Q752532.
- Q1455907 wikiPageWikiLink Q8078.
- Q1455907 wikiPageWikiLink Q8366.
- Q1455907 wikiPageWikiLink Q837518.
- Q1455907 wikiPageWikiLink Q849775.
- Q1455907 wikiPageWikiLink Q8596994.
- Q1455907 wikiPageWikiLink Q877945.
- Q1455907 wikiPageWikiLink Q93104.
- Q1455907 wikiPageWikiLink Q956059.
- Q1455907 wikiPageWikiLink Q9779.
- Q1455907 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.".
- Q1455907 label "Recursive language".