progs/automata/dfa.sc
changeset 765 b294cfbb5c01
parent 753 d94fdbef1a4f
equal deleted inserted replaced
764:6718ef6143b8 765:b294cfbb5c01