Decidability and k-Regular Sequences