„Durch eine geeignete Codierung lässt sich ein Entscheidungsproblem in ein ''Wortproblem'' umwandeln.“<ref>{{Literatur |Autor=Hans Werner Lang |Titel=Algorithmen in Java |Auflage=3. |Verlag=Oldenbourg |Ort=München |Jahr=2012 |ISBN=978-3-486-71406-7 |Seiten=268 |Online=[http://books.google.de/books?id=PmjAfRsGjjgC&pg=PA268&hl=de&sa=X Online-Version]}}</ref>
''[[Informatik]]:'' die Frage, ob ein gegebenes Wort zu einer [[formale Sprache|formalen Sprache]] gehört