非决定性自动机

_

non-deterministic automata, non-deterministic automata automation