2.7. Глобальные и локальные операции

До сих пор мы рассматривали над конструкциями операции, которые можно назвать глобальными, потому что в результате операции изменялась вся конструкция. Например, при линеаризации конструкция преобразовывалась в слово специального вида. При выполнении операции "нахождение начала" слово преобразовывалось в квазислово. Рассмотрим теперь операции, которые называются локальными.

Заметим, что при локальной операции вся конструкция переходит в новую конструкцию, так что ее можно назвать и глобальной, но локальной можно назвать не всякую глобальную операцию.

Пусть конструкция К содержит под конструкции K', K₁', K₂', ..., K_n'. Предположим, что

где F - некоторая операция. Заменяя в конструкции K подконструкцию K' на подконструкцию K", мы выполним над К локальную операцию. Для такой операции введем специальное обозначение

По отношению к К эта операция будет, конечно, и глобальной.

Проверку какого-либо условия для K' будем называть локальной логической операцией.

Локальные операции имеют чрезвычайно большое практическое значение. Подчеркнем, что при локальных операциях их аргументами (операндами) являются подконструкции, а их результаты (в случае преобразований) становятся подконструкциями совокупной конструкции. Не исключается случай, когда конструкция K" не заменяет собой некоторую подконструкцию K', а "подключается" к К в качестве новой подконструкции (для этого ее предварительно заключают в разделяющую оболочку).

Употребленный нами выше знак ": =" широко известен под названием знака присваивания и представляет собой "повелительную" форму равенства (является приказом: "сделать равным").