Kuroda-Normalform

Die Kuroda-Normalform ist ein Begriff der Theoretischen Informatik, der im Zusammenhang mit kontextsensitiven Sprachen von Interesse ist. Sie ist nach dem Linguisten Sige-Yuki Kuroda benannt und beschreibt eine Normalform der monotonen Grammatiken, also eine Teilmenge der monotonen Grammatiken, die gegenüber der Menge aller monotonen Grammatiken nichts an Ausdrucksstärke einbüßt. Die Bedeutung der Kuroda-Normalform liegt in der sehr einfachen Struktur der Produktionen. Weil monotone Grammatiken und kontextsensitive Grammatiken gelegentlich nicht unterschieden werden, wird die Kuroda-Normalform auch als Normalform der kontextsensitiven Grammatiken bezeichnet.

Die Kuroda-Normalform ist eine Verallgemeinerung der Chomsky-Normalform, die eine Normalform für kontextfreie Grammatiken ist.

Eine formale Grammatik ist in Kuroda-Normalform (kurz KNF, nicht zu verwechseln mit „KNF“ – Konjunktive Normalform), wenn alle Produktionen die folgende Form haben:

• ${\displaystyle A\rightarrow a}$
• ${\displaystyle A\rightarrow B}$
• ${\displaystyle A\rightarrow BC}$
• ${\displaystyle AB\rightarrow CD}$

wobei ${\displaystyle A}$, ${\displaystyle B}$, ${\displaystyle C}$ und ${\displaystyle D}$ Variablen sind und ${\displaystyle a}$ ein Terminalsymbol ist.

Falls die zweite und die vierte Regelform nicht vorkommen, liegt die Grammatik in der Chomsky-Normalform vor.

• Jede Grammatik in Kuroda-Normalform ist eine monotone Grammatik.
• Zu jeder monotonen Grammatik ${\displaystyle G_{1}}$ mit ${\displaystyle \varepsilon \notin L(G_{1})}$ existiert eine monotone Grammatik ${\displaystyle G_{2}}$ in Kuroda-Normalform, die die gleiche Sprache erzeugt, das heißt, ${\displaystyle L(G_{1})=L(G_{2})}$. ${\displaystyle G_{2}}$ wird dann auch eine Kuroda-Normalform der monotonen Grammatik ${\displaystyle G_{1}}$ genannt.

Sei ${\displaystyle G_{1}=(V_{1},\Sigma ,P_{1},S)}$ eine monotone Grammatik mit ${\displaystyle \epsilon \notin L(G_{1})}$. Eine Kuroda-Normalform ${\displaystyle G_{2}=(V_{2},\Sigma ,P_{2},S)}$ von ${\displaystyle G_{1}}$ kann so konstruiert werden:

• Alle in ${\displaystyle P_{1}}$ auftretenden Terminalsymbole ${\displaystyle a}$, welche nicht alleine auftreten, werden jeweils durch eine neue Variable ${\displaystyle A_{a}}$ ersetzt, und für jedes Terminalsymbol ${\displaystyle a}$ wird die neue Produktionen ${\displaystyle A_{a}\rightarrow a}$ eingeführt.
• Jede Produktion der Form ${\displaystyle A\rightarrow A_{1}A_{2}\dotso A_{k}}$ ersetzt man durch folgende neuen Produktionen: ${\displaystyle A\rightarrow A_{1}B_{1}}$, ${\displaystyle B_{i}\rightarrow A_{i+1}B_{i+1}}$ für alle ${\displaystyle i\in \{1,\dotsc ,k-3\}}$ und ${\displaystyle B_{k-2}\rightarrow A_{k-1}A_{k}}$. Dabei seien ${\displaystyle B_{1},\dotsc ,B_{k-2}}$ neue Variablen.
• Jede Produktion der Form ${\displaystyle A_{1}A_{2}\dotso A_{l}\rightarrow B_{1}B_{2}\dotso B_{k}}$, ${\displaystyle 2\leq l\leq k}$ mit ${\displaystyle 3\leq k}$ ersetzt man durch folgende neuen Produktionen: ${\displaystyle A_{1}A_{2}\rightarrow B_{1}C_{1}}$, für alle ${\displaystyle i\in \{1,\dotsc ,l-2\}}$: ${\displaystyle C_{i}A_{i+2}\rightarrow B_{i+1}C_{i+1}}$, für alle ${\displaystyle i\in \{l-1,\dotsc ,k-3\}}$: ${\displaystyle C_{i}\rightarrow B_{i+1}C_{i+1}}$ und ${\displaystyle C_{k-2}\rightarrow B_{k-1}B_{k}}$. Dabei seien ${\displaystyle C_{1},\dotsc ,C_{k-2}}$ neue Variablen.

Die so erzeugte Grammatik ist in Kuroda-Normalform und produziert dieselbe Sprache wie die Grammatik zuvor.

Jede monotone Grammatik ${\displaystyle G_{1}=(V_{1},\Sigma ,P_{1},S)}$ in Kuroda-Normalform kann in eine kontextsensitive Grammatik ${\displaystyle G_{2}=(V_{2},\Sigma ,P_{2},S)}$ in Révész-Normalform überführt werden. Dazu werden für jede Produktionsregel der Form ${\displaystyle AB\rightarrow CD\in P_{1}}$ zwei neue Nichtterminale ${\displaystyle W,Z\in V_{2}}$ eingeführt und die Regel durch vier Regeln ersetzt:

• ${\displaystyle AB\rightarrow AZ}$
• ${\displaystyle AZ\rightarrow WZ}$
• ${\displaystyle WZ\rightarrow WD}$
• ${\displaystyle WD\rightarrow CD}$

Eine kontextsensitive Grammatik ist in Révész-Normalform, wenn alle Produktionen die folgende Form haben:

• ${\displaystyle AB\rightarrow AC}$
• ${\displaystyle AB\rightarrow CB}$
• ${\displaystyle A\rightarrow BC}$
• ${\displaystyle A\rightarrow B}$
• ${\displaystyle A\rightarrow a}$

Dabei sind ${\displaystyle A}$, ${\displaystyle B}$ und ${\displaystyle C}$ Variablen und ${\displaystyle a}$ ist ein Terminalsymbol.

Zu jeder kontextsensitiven Grammatik ${\displaystyle G_{1}}$ mit ${\displaystyle \varepsilon \notin L(G_{1})}$ existiert eine kontextsensitive Grammatik ${\displaystyle G_{2}}$ in Révész-Normalform, die die gleiche Sprache erzeugt, das heißt, ${\displaystyle L(G_{1})=L(G_{2})}$.

• Benedek Nagy: Derivation Trees for Context-Sensitive Grammars. In: Automata, Formal Languages and Algebraic Systems: Proceedings of AFLAS 2008. World Scientific Pub Co, 2008, ISBN 981-4317-60-8, S. 182 (eingeschränkte Vorschau in der Google-Buchsuche).