Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
Technical Machine
|
gptkbp:acceptanceCondition |
gptkb:Büchi_acceptance_condition
|
gptkbp:allows |
infinite words
|
gptkbp:field |
theoretical computer science
|
gptkbp:hasAcceptingStates |
yes
|
gptkbp:hasInitialState |
yes
|
gptkbp:hasInputAlphabet |
finite
|
gptkbp:hasStateSet |
finite
|
gptkbp:hasTransitionRelation |
yes
|
https://www.w3.org/2000/01/rdf-schema#label |
Büchi automaton
|
gptkbp:introducedIn |
1962
|
gptkbp:namedAfter |
gptkb:Julius_Richard_Büchi
|
gptkbp:relatedTo |
gptkb:Rabin_automaton
gptkb:Muller_automaton gptkb:parity_automaton finite automaton |
gptkbp:type |
gptkb:ω-automaton
|
gptkbp:usedFor |
recognizing ω-regular languages
|
gptkbp:usedIn |
automata theory
formal verification model checking |
gptkbp:bfsParent |
gptkb:Automata_theory
|
gptkbp:bfsLayer |
5
|