[1] „Das Wortproblem für endliche Automaten ist in Linearzeit entscheidbar.“❬ref❭❬/ref❭
[1] „Eine Sprache, deren Wortproblem nicht entscheidbar ist, scheidet somit als Programmiersprache sofort aus, denn für sie kann es keinen Compiler geben.“❬ref❭❬/ref❭
[1] „Aus computerlinguistischer Sicht sind die Entscheidbarkeitseigenschaften des Wortproblems besonders interessant.“❬ref❭❬/ref❭
[1] „Durch eine geeignete Codierung lässt sich ein Entscheidungsproblem in ein Wortproblem umwandeln.“❬ref❭❬/ref❭