Шепот на ветру - [46]

В основе Трансформационной Грамматики естественного языка лежит модель под названием Теория Автоматов. Читатели, уже знакомые с образованием паттернов и кодированием НЛП, заметят существенные заимствования из Теории Автоматов: например, понятия шестерки

(Структура магии, том II, Часть Ш), четверки (ПаттерныГипнотической техники Милтона Г. Эриксона, том II , стр. 17), описаниясостояний (вездесущих в первоначально классическом коде Гриндера и Бендлера), функции (такие как операторыс и r в Паттернах гипнотической техникиМилтона Г. Эриксона , том II) и т.д. Как сказано выше, теория автоматов относится к классу дискретных математических моделей, в отличие от аналоговых или непрерывных математических моделей. Это поддерживает указанное выше различение, имеющее решающее значение при определении надлежащей эпистемологии для НЛП. ³⁷

Эти заимствования, важные и полезные сами по себе, составляют лишь одну сторону связи между теорией автоматов и НЛП. Как мы надеемся, в будущем, когда словарь НЛП разовьется до надлежащей точности, кодирование паттернов станет вполне явным и т.п., нам удастся связать также нелингвистическое поведение с иерархией Теории Автоматов отображениями эквивалентности, подобными классическим построениям Хомского в области языка. ³⁸

В неформальном описании машина Тьюринга (ТМ) (детерминистская, с одной лентой) есть гипотетическая машина с конечным числом состояний Q, с полубесконечной лентой, ограниченной слева конечной меткой } и неограниченной справа, и с головкой, которая может двигаться по ленте влево и вправо, читая и записывая. Удивительно, что с помощью этого минимального множества элементов все, что может быть вообще вычислено, может быть вычислено одной из гипотетических машин Тьюринга.

Машина Тьюринга

Читающая головка

}…

полубесконечная лента

Действие этой машины Тьюринга можно представить себе следующим образом. Машина начинает работу в своем исходном состоянии и читает символ, записанный в крайней левой клетке ее входной ленты. В ее наборе формальных правил (переходной функции) содержится инструкция, говорящая, что если машина находится в состоянии sⁱ и читает символ aⁱ, то затем она пишет символ a^j , движется влево, вправо или остается на том же месте и переходит (или нет) в другое состояние s^j . Таким образом машина продвигается вдоль ленты, следуя установленному набору правил. Если в конце вычисления машина останавливается в состоянии приема, то входная лента называется вычислимой и принятой этой машиной. Если машина останавливается в конце вычисления в состоянии отказа, это значит, что входная лента отвергнута этой заданной машиной. Прием или отказ машины могут быть отображены (как это сделал Хомский) на лингвистические вопросы, например, на вопрос, составляет ли определенная последовательность слов правильно построенное предложение рассматриваемого языка, или нет.³⁹

Этим способом можно представить даже удивительный результат Геделя о неразрешимости. В этом контексте он известен как проблема задержки: для произвольно заданной, вполне определенной МТ (машиной Тьюринга), вообще говоря, невозможно решить по заданной входной ленте, остановит ли машина свое вычисление с этой лентой через конечное число шагов.

Хотя эти результаты поразительно важны и плодотворны в более широком контексте философии науки и математики в целом, мы не будем заниматься ими в этой книге. Читатель с соответствующей подготовкой может познакомиться с этими вопросами глубже по любому изложению Теории Автоматов.

Я (ДГ) полагаю, что значительная часть моего собственного формального мышления о поведении и его кодировании сложилась под глубоким влиянием формализмов, определенных в Теории Автоматов. Независимо от того, можно ли заимствовать другие существенные идеи из этой области, эта случайность моего личного интеллектуального развития оказалась важным стимулом всего моего мышления о декомпозиции поведения при изучении превосходства и о кодировании его элементов. Я полагаю даже, что систематическая подготовка в этой области может в значительной степени прояснить происходящие теперь дискуссии с неправильными рассуждениями, смешивающими логические типы и уровни – какие можно встретить в журналах, претендующих на представление работы в области НЛП.

Логика

Может быть, наша позиция вызовет споры, но нам представляется очевидным, что исторические корни логики исходят из внутренней логики естественного языка. Это значит, что создание формальных систем и, в частности, логики (формальных систем, логики предложений, логики предикатов и модальной логики) представляет собой утонченное и очищенное обобщение паттернирования, содержащегося в системах естественного языка. Если принять эту точку зрения, то становится ясным, что, вдобавок ко всем уже наличным применениям логики, она представляет также возможное орудие исследований, ведущих к явному моделированию некоторых отображений, предшествующих преобразованиям f² естественного языка – что должно составить существенную часть эпистемологии будущего.

Мы формально доказываем (см. Часть Ш, Глава 1,