progs/automata/dfa.sc
changeset 761 fb07ac060866
parent 753 30ea6b01db46
equal deleted inserted replaced
760:e11aa9bf2600 761:fb07ac060866