progs/automata/enfa.sc
changeset 1018 fd6a64c53f0e
parent 884 fa8cc61dfcf0