In formal language theory, a grammar is in Kuroda normal form if, and only if, all production rules are of the form:
- AB → CD or
- A → BC or
- A → B
- A → α
where A, B, C and D are nonterminal symbols and α is a terminal symbol.
Every grammar in Kuroda normal form is monotonic, and therefore, generates a context-sensitive language. Conversely, every context-sensitive language which does not generate the empty string can be generated by a grammar in Kuroda normal form.
It is named for linguist S.-Y. Kuroda.
Famous quotes containing the words normal and/or form:
“Dada doubts everything. Dada is an armadillo. Everything is Dada, too. Beware of Dada. Anti-dadaism is a disease: selfkleptomania, man’s normal condition, is Dada. But the real dadas are against Dada.”
—Tristan Tzara (1896–1963)
“The opera isn’t over till the fat lady sings.”
—Anonymous.
A modern proverb along the lines of “don’t count your chickens before they’re hatched.” This form of words has no precise origin, though both Bartlett’s Familiar Quotations (16th ed., 1992)