Is The Empty Language Decidable