progs/automata/dfa.sc
changeset 751 02bc5af1c5f2
parent 733 4d37ccc8c5be
child 753 30ea6b01db46