progs/automata/dfa.sc
changeset 985 4a530cad7804
parent 753 30ea6b01db46
equal deleted inserted replaced
984:be2d568644f6 985:4a530cad7804