Грамматика непосредственно составляющая (NS-грамматика) содержит правила:

φАψ → φwψ либо A → w; А ∈ N

В этой грамматике существуют как контекстно-зависимые, так и контекстно-свободные правила. На каждом шаге вывода на цепочку можно заменить только один символ, поэтому вывод в такой грамматике удобно представлять в виде S-маркера. Математическая модель предполагает распознавание и описание естественного языка с помощью трансформационных грамматик. Трансформационная грамматика состоит из двух компонентов:

• NS-грамматика
• T-компонент

T-компонент образован правилами трансформации Pi и цепочки S-маркера. Пример правила - преобразование предложения в вопросительное. Основой трансформационной грамматики является предположение о том, что порождение предложения человеком происходит в два этапа:

1. Порождается относительно простая синтаксическая структура с помощью NS-грамматики (глубинная).
2. Эта структура путём последовательного применения правил преобразования превращается в более сложную, которая называется поверхностной и соответствует конкретному предложению. Исходная NS-грамматика – базовая. Правила преобразования – трансформация. В качестве формализма для анализа трансформационных грамматик при описании синтаксических правил естественного языка используется расширенная сеть переходов ATN.