Tekst źródłowy strony Postać normalna Kurody

[[Gramatyka formalna]] jest w '''postaci normalnej Kurody''', jeśli zawiera tylko produkcje postaci:
<math>AB \to CD,</math> <math>A \to BC,</math> <math>A \to B,</math> <math>A \to \alpha,</math> gdzie A,B i C to symbole nieterminalne, a <math>\alpha</math> – symbol terminalny.

Każda gramatyka w postaci normalnej Kurody generuje [[język kontekstowy]], jak również dla każdej gramatyki kontekstowej nie generującej słowa pustego istnieje równoważna jej gramatyka w postaci normalnej Kurody.

== Bibliografia ==
* S.-Y. Kuroda, ''Classes of languages and linear-bounded automata'', „Information and Control” 7(2): s. 207–223, czerwiec 1964.

[[Kategoria:Języki formalne]]