progs/automata/enfa.sc
changeset 993 29db0cb761c2
parent 884 fa8cc61dfcf0