„Aus computerlinguistischer Sicht sind die Entscheidbarkeitseigenschaften des ''Wortproblems'' besonders interessant.“<ref>{{Literatur |Herausgeber=Kai-Uwe Carstensen et al. |Titel=Computerlinguistik und Sprachtechnologie |TitelErg=Eine Einführung |Auflage=3. |Verlag=Spektrum Akademischer Verlag |Ort=Heidelberg |Jahr=2010 |ISBN=978-3-8274-2023-7 |Seiten=91 |Online=[http://books.google.de/books?id=b9AvBCULhkYC&pg=PA91&hl=de&sa=X Online-Version]}}</ref>
''[[Informatik]]:'' die Frage, ob ein gegebenes Wort zu einer [[formale Sprache|formalen Sprache]] gehört