progs/automata/dfa.sc
changeset 773 23cf8c6d9b94
parent 753 30ea6b01db46