Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
Technical Machine |
| gptkbp:acceptanceCondition |
co-Büchi condition
|
| gptkbp:allows |
infinite words
|
| gptkbp:animationType |
deterministic
nondeterministic |
| gptkbp:application |
gptkb:logic
formal verification model checking |
| https://www.w3.org/2000/01/rdf-schema#label |
co-Büchi automaton
|
| gptkbp:namedAfter |
gptkb:Julius_Richard_Büchi
|
| gptkbp:relatedTo |
gptkb:Büchi_automaton
gptkb:ω-automaton |
| gptkbp:stateType |
finite state
|
| gptkbp:usedIn |
theoretical computer science
|
| gptkbp:bfsParent |
gptkb:omega-automaton
|
| gptkbp:bfsLayer |
7
|