1 paper
Robert Samuel Ralph Myers, Henning Urbat
Nondeterministic automata may be viewed as succinct programs implementing deterministic automata, i.e. complete specifications. Converting a given deterministic automaton into a sm…