progs/automata/nfa.sc
changeset 959 64ec1884d860
parent 753 d94fdbef1a4f