progs/automata/dfa.sc
changeset 1035 c479d6ef57f8
parent 753 30ea6b01db46
equal deleted inserted replaced
1034:94cf7cb122b3 1035:c479d6ef57f8