Loading AI tools
来自维基百科,自由的百科全书
在計算機科學中,形式文法是 Kuroda 範式的,當且僅當所有產生規則都有如下形式:
這裡的 A, B, C 和 D 是非終結符而 α 是終結符。
所有 Kuroda 範式的文法都是單調的,因此生成上下文有關語言。反過來說,所有不生成空串的上下文有關語言都可以被 Kuroda 範式的文法所生成。
這是一篇與電腦相關的小作品。您可以透過編輯或修訂擴充其內容。 |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.