progs/automata/nfa.sc
changeset 957 03c5a8987141
parent 753 30ea6b01db46