progs/automata/nfa.sc
changeset 883 740bb9557905
parent 753 d94fdbef1a4f