parity automaton

GPTKB entity

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