progs/automata/nfa.sc
changeset 905 d8f870aad77d
parent 753 30ea6b01db46