Mullerův automat je v teorii automatů ω-automat, tedy konečný automat, který rozpoznává slova nekonečné délky. Automat akceptuje nekonečné slovo, pokud všechny jeho stavy, které byly během výpočtu navštíveny nekonečněkrát patří do množiny koncových stavů. Automat je pojmenován po americkém matematikovi a informatikovi Davidu E. Mullerovi, který ho vynalezl v roce 1963.

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Mullerův automat je v teorii automatů ω-automat, tedy konečný automat, který rozpoznává slova nekonečné délky. Automat akceptuje nekonečné slovo, pokud všechny jeho stavy, které byly během výpočtu navštíveny nekonečněkrát patří do množiny koncových stavů. Automat je pojmenován po americkém matematikovi a informatikovi Davidu E. Mullerovi, který ho vynalezl v roce 1963.
dbpedia-owl:wikiPageID
  • 1255188 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1335 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 10 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 14506313 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Mullerův automat
dcterms:subject
rdfs:comment
  • Mullerův automat je v teorii automatů ω-automat, tedy konečný automat, který rozpoznává slova nekonečné délky. Automat akceptuje nekonečné slovo, pokud všechny jeho stavy, které byly během výpočtu navštíveny nekonečněkrát patří do množiny koncových stavů. Automat je pojmenován po americkém matematikovi a informatikovi Davidu E. Mullerovi, který ho vynalezl v roce 1963.
rdfs:label
  • Mullerův automat
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of