progs/automata/dfa.sc
changeset 869 81ee93b87258
parent 753 d94fdbef1a4f
equal deleted inserted replaced
868:8fb3b6d3be70 869:81ee93b87258