НОВОСТИ    БИБЛИОТЕКА    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

предыдущая главасодержаниеследующая глава

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

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

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

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

K" = F(K1', K2',..., Kn'),

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

K':= F (K1', K2', ..., Kn').

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

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

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

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

предыдущая главасодержаниеследующая глава











© ROBOTICSLIB.RU, 2001-2019
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://roboticslib.ru/ 'Робототехника'
Рейтинг@Mail.ru
Поможем с курсовой, контрольной, дипломной
1500+ квалифицированных специалистов готовы вам помочь