Лингвисты называют эту операцию «анализом по со­ставляющим» (constituent analysis). Части предложения, являющиеся цельными единицами, называются «состав­ляющими»: the boy — составляющая, a hit the — нет.

Процедуру анализа по составляющим можно обобщить, обозначив символами различные типы состав­ляющих. Например, в том же предложении the — артикль (Т), boy — существительное (N), а вместе они образуют группу существительного (TN). The ball — тоже группа существительного (TN). Глагол V соединяется с группой

существительного и образует группу глагола (VP). И, наконец, на самом высоком уровне первая группа су­ществительного (the boy) соединяется с группой глагола (hit the ball) и образует грамматическое предложение. Разложение предложения на составляющие при помощи символов показано на следующей схеме:

Вот такие абстрактные структурные модели и лежат в основе грамматически правильного предложения. Есть различные способы представления этих структур — мы только что использовали расстановку скобок, «деревья» и блок-схему. Еще один способ описания структуры со­ставляющих предложения — это использование так на­зываемой порождающей грамматики. Этот подход возник из анализа комбинаторных систем в рамках формальной логики. Первоначально задается некоторая основная «аксиома» (в нашем случае S—символ «предложения»), И затем применяются определенные правила образова­ния, позволяющие переписывать аксиому до тех пор, пока не будет получено предложение. Правильность этих правил проверяется грамматической правильностью по­лучаемых или «порождаемых» ими предложений. Любое предложение, которое не может быть выведено в резуль­тате применения этих правил, формально считается грам­матически неправильным. Чтобы сделать наше изложе­ние более конкретным, рассмотрим, каким образом частица английской грамматики, а именно предложение, которое мы анализировали выше, может быть представ­лена в терминах данной модели.