progs/automata/nfa.sc
changeset 940 46eee459a999
parent 753 d94fdbef1a4f