progs/automata/nfa.sc
changeset 988 2857dcb18458
parent 753 d94fdbef1a4f