progs/automata/nfa.sc
changeset 874 ffe02fd574a5
parent 753 d94fdbef1a4f