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