Suppose E(M) is the problem of determining whether the language a given Turing machine M accepts is empty (in other words, whether M accepts any strings at all).
Претпоставимо да је E(M) ) проблем одређивања да ли језик дате Тјурингове машине M прихвата или је празна (другим речима, да ли М прихвата некакве везе уопште).