progs/automata/dfa.sc
changeset 779 5385c8342f02
parent 753 d94fdbef1a4f
equal deleted inserted replaced
778:3e5f5d19f514 779:5385c8342f02