progs/automata/nfa.sc
changeset 772 b1a8ef39cb35
parent 753 30ea6b01db46