Statements (15)
Predicate | Object |
---|---|
gptkbp:instanceOf |
automata theory concept
|
gptkbp:allows |
infinite word if set of states visited infinitely often is in the acceptance family
|
gptkbp:definedIn |
set of sets of states
|
gptkbp:describes |
acceptance of infinite words
|
https://www.w3.org/2000/01/rdf-schema#label |
Muller acceptance condition
|
gptkbp:introducedIn |
1963
|
gptkbp:namedAfter |
gptkb:David_E._Muller
|
gptkbp:relatedTo |
gptkb:Rabin_acceptance_condition
gptkb:Büchi_acceptance_condition gptkb:Streett_acceptance_condition |
gptkbp:usedIn |
ω-automata
infinite automata |
gptkbp:bfsParent |
gptkb:nondeterministic_Muller_automaton
gptkb:Büchi_acceptance_condition |
gptkbp:bfsLayer |
7
|