Any Finite Language Is Decidable