progs/automata/dfa.sc
changeset 911 81aec858dca4
parent 753 30ea6b01db46
equal deleted inserted replaced
910:926d73d76989 911:81aec858dca4