Большая энциклопедия НЛП. Структура магии (Бендлер, Гриндер) - страница 139

Теперь исследуем только что написанную строку и проверим, нет ли в ней символов, соответствующих левой части одного из правил вывода. В ней находится единственный символ

Мы можем повторить процедуру, проверив, нет ли в последней строке символов, которые содержатся в левой части одного из правил вывода. Внутри нашей системы эта процедура может повторяться сколь угодно долго до тех пор, пока мы выбираем правило вывода а.[57]

Допустим, вы выбрали правило вывода а еще дважды.

Что произойдет, если мы теперь выберем правило б?

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

Теперь мы хотели бы более отчетливо пояснить параллели между системой «Простая» и системами естественного языка. Первая задача, которая стоит перед нами как лингвистами, это определить множество правильно сформированных последовательностей элементов системы естественного языка, для которого мы пытаемся сконструировать грамматику. Затем, используя «Простую» в качестве модели, мы попытаемся определить систему правил, которая позволила бы нам представить в виде теорем все последовательности слов данного языка, которые носители языка считают правильно сформированными. Если мы сделаем это, можно будет считать, что мы сумели решить вопрос принадлежности к множеству.