Büchiho automat je v teorii automatů ω-automat, který rozšiřuje koncept konečného automatu pro nekonečné vstupy (slova nekonečné délky). Büchiho automat akceptuje slovo, pokud existuje běh automatu, který navštíví alespoň jeden koncový stav nekonečněkrát. Automat je pojmenován po švýcarském matematikovi Juliusi Richardu Büchim, který ho vynalezl v roce 1962.

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Büchiho automat je v teorii automatů ω-automat, který rozšiřuje koncept konečného automatu pro nekonečné vstupy (slova nekonečné délky). Büchiho automat akceptuje slovo, pokud existuje běh automatu, který navštíví alespoň jeden koncový stav nekonečněkrát. Automat je pojmenován po švýcarském matematikovi Juliusi Richardu Büchim, který ho vynalezl v roce 1962.
dbpedia-owl:wikiPageID
  • 1255121 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1847 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 10 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 14505539 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Büchiho automat
dcterms:subject
rdfs:comment
  • Büchiho automat je v teorii automatů ω-automat, který rozšiřuje koncept konečného automatu pro nekonečné vstupy (slova nekonečné délky). Büchiho automat akceptuje slovo, pokud existuje běh automatu, který navštíví alespoň jeden koncový stav nekonečněkrát. Automat je pojmenován po švýcarském matematikovi Juliusi Richardu Büchim, který ho vynalezl v roce 1962.
rdfs:label
  • Büchiho automat
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of