progs/automata/dfa.sc
changeset 779 1255b4dbe516
parent 753 30ea6b01db46
equal deleted inserted replaced
778:ae85207c6a93 779:1255b4dbe516