progs/automata/nfa.sc
changeset 945 6cd55dfd3b7d
parent 753 30ea6b01db46