progs/automata/nfa.sc
changeset 1036 b84e794b9e88
parent 753 30ea6b01db46