progs/automata/enfa.sc
changeset 973 f25d338d16c9
parent 884 183bfb52d26e
equal deleted inserted replaced
972:ebb4a40d9bae 973:f25d338d16c9