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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

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

1. A->BC, де A,B,C належать N (множині нетермінальних символів)
2. A-> a, де a належить  \Sigma
3. S ->  \varepsilon , якщо  \varepsilon \in L(G)

Посилання[ред.ред. код]

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