progs/automata/dfa.sc
changeset 774 a9fcd8afcd6a
parent 753 30ea6b01db46
equal deleted inserted replaced
773:23cf8c6d9b94 774:a9fcd8afcd6a