progs/automata/nfa.sc
changeset 915 f2e667bed1c8
parent 753 d94fdbef1a4f