발음
-
[ˈvɔʁtpʁoˌbleːm]
명사
die Frage, ob ein gegebenes Wort zu einer formalen Sprache gehört
- 상위어
- Entscheidungsproblem
- 예문
-
„Das Wortproblem für endliche Automaten ist in Linearzeit entscheidbar.“
„Eine Sprache, deren Wortproblem nicht entscheidbar ist, scheidet somit als Programmiersprache sofort aus, denn für sie kann es keinen Compiler geben.“
더 많은 예문 (2)
„Aus computerlinguistischer Sicht sind die Entscheidbarkeitseigenschaften des Wortproblems besonders interessant.“
„Durch eine geeignete Codierung lässt sich ein Entscheidungsproblem in ein Wortproblem umwandeln.“