Statements (19)
Predicate | Object |
---|---|
gptkbp:instanceOf |
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
|
https://www.w3.org/2000/01/rdf-schema#label |
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:Automata_theory
|
gptkbp:bfsLayer |
5
|