Prove Language Is Decidable