Show that a DFA M_k = (Q_k, _k, _k, q₀, F_k) exists that recognizes each L_k = {w: w ends in k 0s}