Turingův stroj (TS) je teoretický model počítače popsaný matematikem Alanem Turingem.Skládá se z procesorové jednotky, tvořené konečným automatem, programu ve tvaru pravidel přechodové funkce a pravostranně nekonečné pásky pro zápis mezivýsledků.

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Turingův stroj (TS) je teoretický model počítače popsaný matematikem Alanem Turingem.Skládá se z procesorové jednotky, tvořené konečným automatem, programu ve tvaru pravidel přechodové funkce a pravostranně nekonečné pásky pro zápis mezivýsledků. Využívá se pro modelování algoritmů v teorii vyčíslitelnosti.Jeden ze způsobu vyjádření Churchovy-Turingovy teze říká, že ke každému algoritmu existuje ekvivalentní Turingův stroj.Od výpočetní síly Turingova stroje se odvozuje turingovská úplnost: turingovsky úplné jsou právě ty programovací jazyky nebo počítače, které mají stejnou výpočetní sílu jako Turingův stroj.
dbpedia-owl:thumbnail
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 6447 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 23325 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 32 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 15390221 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Turingův stroj
  • turingův stroj
  • Turingova stroje
  • Turingově stroji
  • Turingovu stroji
  • Turingovým strojem
  • Imperativní funkce
  • univerzální Turingův stroj
  • jazyk HALT
  • turingovsky
  • vícepáskový TS
  • Turingových strojů
  • Touringův stroj
  • univerzální stroj
  • Turingovo
  • Turingovými stroji
  • TouringMachine
  • univerzálního Turingova stroje
  • Turingovy stroje
  • deterministickým Turingovým strojem
  • turingova stroje
dcterms:subject
rdfs:comment
  • Turingův stroj (TS) je teoretický model počítače popsaný matematikem Alanem Turingem.Skládá se z procesorové jednotky, tvořené konečným automatem, programu ve tvaru pravidel přechodové funkce a pravostranně nekonečné pásky pro zápis mezivýsledků.
rdfs:label
  • Turingův stroj
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbpedia-owl:knownFor of
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of