progs/automata/dfa.sc
changeset 868 b0acb8741b16
parent 753 30ea6b01db46
equal deleted inserted replaced
867:42256f8cc2b7 868:b0acb8741b16