Wortproblem
Nghĩa tiếng Việt: bài toán từ
Phát âm (IPA): [ˈvɔʁtpʁoˌbleːm]
danh từ · trình độ C2
Giống: das Wortproblem
Số nhiều: die Wortprobleme
Biến cách (Deklination)
| Kasus | Số ít | Số nhiều |
|---|---|---|
| Nominativ | Wortproblem | Wortprobleme |
| Akkusativ | Wortproblem | Wortprobleme |
| Dativ | Wortproblem | Wortproblemen |
| Genitiv | Wortproblems | Wortprobleme |
Ví dụ
- Das Wortproblem für endliche Automaten ist in Linearzeit entscheidbar. — Bài toán từ của các tự động hữu hạn có thể quyết định trong thời gian tuyến tính.
- Eine Sprache, deren Wortproblem nicht entscheidbar ist, scheidet somit als Programmiersprache sofort aus, denn für sie kann es keinen Compiler geben. — Vì vậy, một ngôn ngữ mà bài toán từ của nó không thể quyết định sẽ lập tức bị loại khỏi tư cách là ngôn ngữ lập trình, vì với nó không thể có compiler.
- Aus computerlinguistischer Sicht sind die Entscheidbarkeitseigenschaften des Wortproblems besonders interessant. — Từ góc nhìn ngôn ngữ học máy tính, các tính chất quyết định của bài toán từ đặc biệt thú vị.
Nghĩa khác
- die Frage, ob ein gegebenes Wort zu einer formalen Sprache gehört