Приклад.

Маємо граматику:
R = {I®aIa,

I®bAd,
I®c,
A®cBd,
A®aAd,
B®dAf },

знаходимо, що тут непродуктивними є символи А і B.Після виключення правил, що містять непродуктивні символи, одержуємо граматику:

R' = {I ®a I a,

I® c}.

6.3. Визначення недосяжних символів

Символ х Î V_тÈV_A називається недосяжним у КВ-граматиці Г, якщо х не з'являється в жодному виведеному ланцюжку.

Розглядаючи правила граматики, можна помітити , що якщо нетермінал у лівій частині правила є досяжним , то і всі символи правої частини є досяжними. Це властивість правил є основою процедури виявлення недосяжних символів, який можна записати так:

1. Створити одноелементний список, що складається з початкового символу граматики І.

2. Якщо знайдене правило, ліва частина якого вже мається в списку, то включити до списку всі символи, що містяться в його правій частині.

3. Якщо на кроці 2 нові нетермінали в список більше не додаються, то отримано список усіх досяжних нетерміналів, а нетермінали, що не потрапили в список, є недосяжними.