Kuroda normal form
- 黑田范式(形式文法是 Kuroda 范式的当且仅当产生规则都为A→αBβ或A→α,其中A、B、β为非终结符,α为终结符。Kuroda 范式的文法是单调的,生成上下文有关语言。不生成空串的上下文有关语言都可以被Kuroda范式的文法生成)
Kuroda normal form
-
abstract:
In formal language theory, a grammar is in Kuroda normal form if, and only if, all production rules are of the form:
以上来源于:
WordNet