progs/automata/dfa.sc
changeset 851 2918388fe4ab
parent 753 30ea6b01db46
equal deleted inserted replaced
850:7fb643cb3d9d 851:2918388fe4ab