title: language over {1} which is recognizable but not decidable?
body: <p>What is an example of a language over the alphabet {1}* which is recognizable but not decidable?</p>
  
  <p>I have troubles finding an example of this. After a long search, I am still curious for the answer though. </p>
  
  <p>A hint would be very welcome.</p>