progs/automata/dfa.sc
changeset 769 f9686b22db7e
parent 753 d94fdbef1a4f
equal deleted inserted replaced
768:34f77b976b88 769:f9686b22db7e