Нормальна форма Хомського

Нормальна форма Хомського (НФХ - бінарна нормальна форма) встановлюється для приведеної контекстно-вільної (КС) граматики, всі правила якої мають вигляд:

1. A->BC, де A,B,C належать N (множині нетермінальних символів), ані B ані C не можуть бути джерелом S.

2. A-> a, де a належить $\Sigma$

3. S -> $\varepsilon$, якщо $\varepsilon \in$ L(G), де S - джерело.

Посилання

1. USIC Wiki - ОПК:перша контрольна