progs/automata/nfa.sc
changeset 844 bbbc2a7940cb
parent 753 d94fdbef1a4f