разами. Послідовність простих виразів, входять до складу даного складеного виразу, упорядкованого вище описаним способом, ми називаємо Характерними [eigentliche] ПОСЛІДОВНІСТЮ виразів, входять до складу цього виразу. Для нашого прикладу характерна послідовність виразів виявилася досягнутою вже на другому кроці, тобто (С) є характерною послідовністю виразів для вираження (А). Якщо зараз від виразів, упорядкованих властивої висловом (А) послідовністю, ми відірвемо їх індекси та випишемо їх у тій же черговості, то отримаємо т.зв. Характерна послідовність ІНДЕКСІВ для вираження (А). p> Отже, характерна послідовність індексів виразу (А) має наступний вигляд:
s s
--------- s s s. ......................... (1)
ss ss
Зараз, йдучи зліва направо, подивимося, чи знайдемо ми в цій послідовності індексів таке зімкнуте поєднання індексів, яке на першому місці має індекс у вигляді дробу, після якого безпосередньо слідують такі індекси, які входять до знаменник цього дробового індексу. Якщо ми знайдемо одне або кілька таких поєднань, то викреслюємо перше з них (йдучи зліва направо) у послідовності індексів і замінюємо чисельником дробового індексу. Отриману таким чином нову послідовність індексів назвемо першої похідної характерною послідовності індексів даного виразу (А). Для нашого приклад вона має вигляд:
s
---- s s. ............................. (2)
ss
Перша похідна - це дробовий індекс, після якого безпосередньо випливає таке ж поєднання індексів як те, яке утворює знаменник цього дробового індексу. Ми можемо наведеним вище способом її перетворити, утворюючи другу похідну, яка має вигляд простого індексу
s .................................... (3)
і яку, оскільки вона не веде до нових похідним, назвемо останньої похідної характерною послідовності індексів виразу (А). p> Останню похідну характерною послідовності індексів даного виразу назвемо ПОКАЗНИКОМ ЦЬОГО ВИРАЖЕННЯ. p> Визначимо ще показник сформульованого в природній мові пропозиції на стор???. Його характерна послідовність індексів і його чергові похідні представляються наступним чином:
s
---
n
---
s s
------
s n n s s
------------ - N --- n (характерна послідовність
ss s s n n індексів)
------
n n
----
s
---
n
s
---
s n s s
---------- n --- N (1. Похідна)
ss s n n
---
n
s s s
------ n - n (2. Похідна)
ss n n
s s
--- s --- n (3. похідна)
ss n
s
--- s s (4. похідна)
ss
s (5. і остання похідна). p> Тепер ми можемо навести визначення: вираз є синтаксично пов'язаним тоді і тільки тоді, коли 1] воно наскрізь правильно складено, 2] кожному входить в це вираз функтора в якості головного функтора деякої ступені відповіда...