progs/automata/enfa.sc
changeset 881 0d23793ba9cb
parent 779 1255b4dbe516
child 884 fa8cc61dfcf0
equal deleted inserted replaced
880:13848e5b32e7 881:0d23793ba9cb