progs/automata/nfa.sc
changeset 939 f85e784d3014
parent 753 d94fdbef1a4f