progs/automata/enfa.sc
changeset 817 5c6ceb1c5d07
parent 779 1255b4dbe516
child 884 fa8cc61dfcf0
equal deleted inserted replaced
816:f650c1b079e3 817:5c6ceb1c5d07