progs/automata/dfa.sc
changeset 897 904de68a27a4
parent 753 d94fdbef1a4f
equal deleted inserted replaced
896:b7a6436c7758 897:904de68a27a4