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

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

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

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

Посилання

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