progs/automata/dfa.sc
changeset 755 40e890446213
parent 753 30ea6b01db46