# Decidable Problem

How should I go about showing that the following problem is decidable:

            Given DFAs M1 and M2, is L(M1) ⊆ L(M2)?


What is the general strategy to prove that a problem is decidable or undecidable?