Epätyhjyysongelma

Epätyhjyysongelmalla tarkoitetaan kysymystä siitä, hyväksyykö jokin mielivaltainen Turingin kone yhtään syötemerkkijonoa. Kyseessä on pysähtymisongelman tavoin ratkeamaton ongelma. Ongelman voi esittää myös formaalina kielenä seuraavasti: 

Tietojenkäsittelyteoria