progs/automata/enfa.sc
changeset 897 904de68a27a4
parent 884 183bfb52d26e
equal deleted inserted replaced
896:b7a6436c7758 897:904de68a27a4