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:
“Our normal waking consciousness, rational consciousness as we call it, is but one special type of consciousness, whilst all about it, parted from it by the filmiest of screens, there lie potential forms of consciousness entirely different.”
—William James (1842–1910)
“At daybreak, on the bleak sea-beach,
A fisherman stood aghast,
To see the form of a maiden fair,
Lashed close to a drifting mast.”
—Henry Wadsworth Longfellow (1809–1882)