progs/automata/dfa.sc
changeset 736 0494995fd979
parent 733 4d37ccc8c5be
child 753 30ea6b01db46
equal deleted inserted replaced
735:0426cd1336f7 736:0494995fd979