progs/automata/dfa.sc
changeset 982 617fc6cfc94a
parent 753 30ea6b01db46
equal deleted inserted replaced
981:82d0a2aa1849 982:617fc6cfc94a