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