„Eine Sprache, deren ''Wortproblem'' nicht entscheidbar ist, scheidet somit als Programmiersprache sofort aus, denn für sie kann es keinen Compiler geben.“<ref>{{Literatur |Autor=Rolf Socher |Titel=Theoretische Grundlagen der Informatik |Auflage=3., aktualisierte und erweiterte |Verlag=Carl Hanser |Ort=München |Jahr=2008 |ISBN=978-3-446-41260-6 |Seiten=73 |Online=[http://books.google.de/books?id=rnkfsy-uMG8C&pg=PA73&hl=de&sa=X Online-Version]}}</ref>
''[[Informatik]]:'' die Frage, ob ein gegebenes Wort zu einer [[formale Sprache|formalen Sprache]] gehört