progs/automata/enfa.sc
changeset 910 926d73d76989
parent 884 fa8cc61dfcf0