発音
-
[ˈ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.“