progs/automata/enfa.sc
changeset 840 9e6ff1d1fece
parent 779 1255b4dbe516
child 884 fa8cc61dfcf0
equal deleted inserted replaced
839:195a86a827b1 840:9e6ff1d1fece