Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Technical_Machine
|
| gptkbp:acceptanceCondition |
parity condition
|
| gptkbp:allows |
infinite words
|
| gptkbp:closed |
closed under intersection
closed under union closed under complementation |
| gptkbp:deterministicVariant |
deterministic parity automaton
|
| gptkbp:nondeterministicVariant |
nondeterministic parity automaton
|
| gptkbp:relatedTo |
gptkb:Rabin_automaton
gptkb:Büchi_automaton gptkb:Streett_automaton |
| gptkbp:stateLabel |
priority (integer)
|
| gptkbp:usedFor |
ω-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 |
parity automaton
|