progs/automata/nfa.sc
changeset 806 0d3bc1d0d987
parent 753 d94fdbef1a4f