progs/automata/dfa.sc
changeset 741 6512884e03b4
parent 733 4d37ccc8c5be
child 753 30ea6b01db46
equal deleted inserted replaced
740:cdfc278e37b9 741:6512884e03b4