progs/automata/dfa.sc
changeset 951 9e7147f33219
parent 753 d94fdbef1a4f
equal deleted inserted replaced
950:fa97d2f60f11 951:9e7147f33219