Formální jazyk L je rekurzivní, pokud existuje nějaký Turingův stroj (dále TS), který slova z tohoto jazyka pouze akceptuje anebo zamítá (nezacyklí se), tzn. vždy skončí po konečném počtu kroků. Pokud takový TS M existuje, říkáme, že TS M rozhoduje jazyk L. Rekurzivní jazyk je podmnožinou rekurzivně spočetného jazyka.

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Formální jazyk L je rekurzivní, pokud existuje nějaký Turingův stroj (dále TS), který slova z tohoto jazyka pouze akceptuje anebo zamítá (nezacyklí se), tzn. vždy skončí po konečném počtu kroků. Pokud takový TS M existuje, říkáme, že TS M rozhoduje jazyk L. Rekurzivní jazyk je podmnožinou rekurzivně spočetného jazyka.
dbpedia-owl:wikiPageID
  • 95136 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 6458 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 17 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 10494073 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • rekurzivní
  • rekurzivní jazyk
  • Rekurzivní jazyk
  • rekurzivních jazyků
  • rekurzivního jazyka
dcterms:subject
rdfs:comment
  • Formální jazyk L je rekurzivní, pokud existuje nějaký Turingův stroj (dále TS), který slova z tohoto jazyka pouze akceptuje anebo zamítá (nezacyklí se), tzn. vždy skončí po konečném počtu kroků. Pokud takový TS M existuje, říkáme, že TS M rozhoduje jazyk L. Rekurzivní jazyk je podmnožinou rekurzivně spočetného jazyka.
rdfs:label
  • Rekurzivní jazyk
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of