En la teoría del lenguaje formal , una gramática sensible al contexto está en la forma normal de Kuroda si todas las reglas de producción tienen la forma: [1]
donde A, B, C y D son símbolos no terminales y a es un símbolo terminal . [1] Algunas fuentes omiten el patrón A → B. [2]
Lleva el nombre de Sige-Yuki Kuroda , quien originalmente la llamó una gramática limitada lineal, una terminología que también fue utilizada por algunos otros autores a partir de entonces. [3]
Cada gramática en la forma normal de Kuroda no se contrae y, por lo tanto, genera un lenguaje sensible al contexto . A la inversa, cada lenguaje sensible al contexto que no genere la cadena vacía puede ser generado por una gramática en la forma normal de Kuroda. [2]
Una técnica sencilla atribuida a György Révész transforma una gramática en la forma de Kuroda al CSG de Chomsky: AB → CD se reemplaza por cuatro reglas sensibles al contexto AB → AZ , AZ → WZ , WZ → WD y WD → CD . Esta técnica también demuestra que toda gramática no contractual es sensible al contexto. [1]
También existe una forma normal similar para las gramáticas no restringidas , que al menos algunos autores también llaman "forma normal de Kuroda": [4]