progs/automata/dfa.sc
changeset 916 2ab96407f350
parent 753 30ea6b01db46