progs/automata/dfa.sc
changeset 858 67e4eae871a9
parent 753 30ea6b01db46
equal deleted inserted replaced
857:e748f5e09323 858:67e4eae871a9