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

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

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

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

3. S -> $\varepsilon$, якщо $\varepsilon \in$ L(G)

Посилання

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