Random triples
| Subject | Object |
|---|---|
| gptkb:single-tape_Turing_machine | finite |
| gptkb:Nondeterministic_Finite_Automaton | Finite set of states |
| gptkb:Büchi_automaton | finite |
| gptkb:nondeterministic_Muller_automaton | finite set |
| gptkb:Moore_Machine | Finite set of states |
| gptkb:Muller_automaton | finite |
| gptkb:Deterministic_finite_automaton | gptkb:Q |