progs/automata/nfa.sc
changeset 960 791f4d9f53e1
parent 753 30ea6b01db46