progs/automata/enfa.sc
changeset 1011 31e011ce66e3
parent 884 183bfb52d26e