progs/automata/nfa.sc
changeset 871 358a72d7bf71
parent 753 30ea6b01db46