progs/automata/nfa.sc
changeset 851 2918388fe4ab
parent 753 30ea6b01db46