Kurodin normalni oblik
U računarstvu, formalna gramatika je u Kurodinom normalnom obliku ako i samo ako ima sve produkcije oblika: AB → CD ili A → BC ili A → B ili A → α pri čemu su A, B, C i D nezavršni znakovi i α je završni znak. Svaka gramatika u Kurodinom normalnom obliku generiše kontekstno zavisni jezik i obrnuto, svaki kontekstno ovisni jezik koji ne generiše prazni niz se može izgenerisati gramatikom u Kurodinom normalnom oblku.