progs/automata/dfa.sc
changeset 902 d516888e5878
parent 753 30ea6b01db46
equal deleted inserted replaced
901:01b481e47887 902:d516888e5878