Random triples
Subject | Object |
---|---|
gptkb:Muller_automaton | set of sets of states |
gptkb:nondeterministic_Muller_automaton | set of sets of states |
Subject | Object |
---|---|
gptkb:Muller_automaton | set of sets of states |
gptkb:nondeterministic_Muller_automaton | set of sets of states |