progs/automata/nfa.sc
changeset 849 3d5ecb8f1f2f
parent 753 d94fdbef1a4f