nondeterministic version

URI: https://gptkb.org/prop/nondeterministic_version
1 triples
GPTKB property
Random triples
Subject Object
gptkb:linear_bounded_automata nondeterministic linear bounded automaton