Decidable Problem Python