\input style
\chapter{яЁхфшёыютшх ЁхфръЄюЁр яхЁхтюфр}

яРОГРАММИРОВАНИЕ БОГАТО И МНОГООБРАЗНО. тЕДЬ КАЖЕТСЯ НЕТ ТАКОЙ СФЕРЫ 
ЧЕЛОВЕЧЕСКОЙ ДЕЯТЕЛЬНОСТИ, ГДЕ НЕЛЬЗЯ БЫЛО БЫ  С ПОЛЬЗОЙ ПРИМЕНИТЬ 
ВЫЧИСЛИТЕЛЬНУЮ МАШИНУ ДЛЯ ОЦЕНКИ, ИНФОРМАЦИОННО-СПРАВОЧНОГО ОБСЛУЖИВАНИЯ,
ПЛАНИРОВАНИЯ, МОДЕЛИРОВАНИЯ И Т. П. ш ЭТО МНОГООБРАЗИЕ ЗАДАЧ ПЕРЕХОДИТ 
В МНОГООБРАЗИЕ ПРОГРАММ, КОТОРЫЕ ДОЛЖНЫ РАЗРАБАТЫВАТЬ ПРОГРАММИСТЫ. 
юНИ ПЫТАЮТСЯ СПРАВИТЬСЯ С ЭТИМ МНОГООБРАЗИЕМ, "ЗАКЛЮЧИВ" ЕГО В 
ПРОБЛЕМНО-ОРИЕНТИРОВАННЫЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ. ▀ЗЫКИ ВБИРАЮТ В СЕБЯ 
СПЕЦИФИЧЕСКИЕ ЧЕРТЫ КОНКРЕТНЫХ СФЕР ПРОГРАММИРОВАНИЯ --- ХАРАКТЕРНЫЕ СТРУКТУРЫ 
ДАННЫХ, ПРИНЦИПЫ ОРГАНИЗАЦИИ ТИПИЧНЫХ ПРОЦЕССОВ, СООТВЕТСТВУЮЩУЮ 
ТЕРМИНОЛОГИЮ --- И ТАКИМ ОБРАЗОМ ДЕЛАЮТ САМ ПРОЦЕСС ПРОГРАММИРОВАНИЯ БОЛЕЕ
УНИВЕРСАЛЬНЫМ. юДНОВРЕМЕННО ОНИ ОСВОБОЖДАЮТ ПРОГРАММИСТОВ ОТ НЕОБХОДИМОСТИ 
ДЕТАЛИЗИРОВАТЬ ПРОГРАММЫ ДО УРОВНЯ СЛИШКОМ МЕЛКИХ МАШИННЫХ КОМАНД
И ДАЖЕ ОТ НЕОБХОДИМОСТИ ЗНАТЬ ОСОБЕННОСТИ КОНКРЕТНЫХ ВЫЧИСЛИТЕЛЬНЫХ МАШИН. 
сОЛЕЕ ТОГО, ОПЕРАЦИОННЫЕ СИСТЕМЫ ПРИЗВАНЫ ПРЕВРАТИТЬ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ 
ИЗ ПРЕДМЕТА ПОСТОЯННОГО БЕСПОКОЙСТВА  В "СУЩЕСТВА", КОТОРЫЕ САМИ ЗАБОТЯТСЯ
О ПРОГРАММИСТЕ И ГОТОВЫ  ОКАЗЫВАТЬ ВСЯЧЕСКИЕ УСЛУГИ ЕМУ И ЕГО ПРОГРАММЕ.

ш ТЕМ НЕ МЕНЕЕ, ПОСЛЕ ТОГО, КАК ЛЮБАЯ БОЛЕЕ ИЛИ МЕНЕЕ СЛОЖНАЯ ЗАДАЧА 
СФОРМУЛИРОВАНА (ПУСТЬ ДАЖЕ В АДЕКВАТНЫХ И УДОБНЫХ ТЕРМИНАХ) И МАШИНА ВЫБРАНА
(ПУСТЬ ДАЖЕ В САМОМ ДЕЛЕ ГОТОВАЯ К ВСЕВОЗМОЖНЫМ УСЛУГАМ), КАЖДЫЙ ПРОГРАММИСТ 
СНОВА И СНОВА ОСТАЕТСЯ ОДИН НА ОДИН СО СВОЕЙ СОБСТВЕННОЙ ЗАДАЧЕЙ: ЕМУ НУЖНО 
СОСТАВИТЬ ПРОГРАММУ! тЫБРАТЬ, КАК ИМЕННО СЛЕДУЕТ РАСПОЛОЖИТЬ И СВЯЗАТЬ ДАННЫЕ 
В ПАМЯТИ, ПОНЯТЬ, КАКАЯ ИМЕННО ПОСЛЕДОВАТЕЛЬНОСТЬ ОПЕРАТОРОВ, --- СПОСОБНЫХ 
СДЕЛАТЬ ВСЕ ЧТО УГОДНО И ОТТОГО ОДНОВРЕМЕННО И ПОДАТЛИВЫХ И 
ОПАСНЫХ --- ВЫПОЛНИТ ПОСТАВЛЕННУЮ ЗАДАЧУ. ш КАК ОРГАНИЗОВАТЬ ОПЕРАТОРЫ В 
ЦИКЛ, КОТОРЫЙ БУДЕТ С КАЖДЫМ ШАГОМ ПРИБЛИЖАТЬ МАШИНУ К НАМЕЧЕННОЙ ЦЕЛИ. 
тЫБРАТЬ, ПОНЯТЬ, ИЗОБРЕСТИ, ПРОВЕРИТЬ, УСОМНИТЬСЯ И ПОВТОРИТЬ ВСЕ СНАЧАЛА.
   
яОКАЗАТЕЛЬНО, ЧТО ХОТЯ В ТАКИХ "ВНЕШНИХ" РАЗДЕЛАХ ПРОГРАММИРОВАНИЯ,  КАК 
ЯЗЫКИ И ТРАНСЛЯТОРЫ, ОПЕРАЦИОННЫЕ СИСТЕМЫ И БАЗЫ ДАННЫХ, ШИРОКО РАЗВИВАЕТСЯ И 
ИСПОЛЬЗУЕТСЯ ТЕОРИЯ (ОТ МАТЕМАТИЧЕСКОЙ ЛИНГВИСТИКИ И ЛОГИКИ ДО СТАТИСТИКИ И 
ТЕОРИИ МАССОВОГО ОБСЛУЖИВАНИЯ), ВО ВНУТРЕННИХ, СОБСТВЕННЫХ РАЗДЕЛАХ 
ПРОГРАММИРОВАНИЯ ГОСПОДСТВУЮТ УМЕНИЕ И ИНТУИЦИЯ ИЛИ В ЛУЧШЕМ СЛУЧАЕ 
"ПОЛЕЗНЫЕ СОВЕТЫ". хСТЬ, ПРАВДА, НЕКОТОРЫЕ ИССЛЕДОВАНИЯ, КАСАЮЩИЕСЯ УЖЕ
ГОТОВЫХ ПРОГРАММ, НО НЕТ НИКАКОЙ ТЕОРИИ САМОГО ПРОЦЕССА ПРОГРАММИРОВАНИЯ.
     
яРЕДЛАГАЕМАЯ КНИГА ПpЕДСТАВЛЯЕТ СОБОЙ ОДИН ИЗ ПЕРВЫХ ШАГОВ В ЭТОМ НАПРАВЛЕНИИ. 
т НЕЙ С КАЖДЫМ ОПЕРАТОРОМ, С ИХ КОМБИНАЦИЯМИ И, В ТОМ ЧИСЛЕ, С ЦИКЛАМИ 
СВЯЗЫВАЮТСЯ ПРЕОБРАЗОВАНИЯ ПРЕДИКАТОВ, ЯВЛЯЮЩИЕСЯ ФОРМАЛЬНЫМ ВЫРАЖЕНИЕМ ИХ 
СВОЙСТВ, И ОПРЕДЕЛЕНИЕ СВОЙСТВ ПРОГРАММЫ В ЦЕЛОМ ПРЕВРАЩАЕТСЯ В ЗАДАЧУ 
ЛОГИЧЕСКОГО ВЫВОДА. юСОБЕННО ВАЖНО,  ЧТО aВТop ОБоЯСНЯЕТ И ДЕМОНСТРИРУЕТ 
НА ПРИМЕРАХ, КАК ЭТИМ ФОРМАЛИЗМОМ МОЖНО ПОЛЬЗОВАТЬСЯ ДЛЯ ПРАКТИЧЕСКОГО
ПРОГРАММИРОВАНИЯ. яРИ ЭТОМ ОН, РАЗУМЕЕТСЯ, НЕ ДАЕТ ОТВЕТА НА ВОПРОС О 
ТОМ, КАК НАПИСАТЬ ЛЮБУЮ ПРОГРАММУ, --- ОТВЕТА НА ЭТОТ ВОПРОС ВООБЩЕ  НЕ
СУЩЕСТВУЕТ. юН ПРЕДЛАГАЕТ НАМ ИНСТРУМЕНТ, ПОЗВОЛЯЮЩИЙ ПРОВЕРЯТЬ НАШИ  
ГИПОТЕЗЫ В ПРОЦЕССЕ ПРОЕКТИРОВАНИЯ ПРОГРАММ, А ИНОГДА И ПОДСКАЗЫВАЮЩИЙ
ТЕ ИЛИ ИНЫЕ ВАРИАНТЫ РЕШЕНИЙ.
     
р ЭТО СОВСЕМ НЕ МАЛО. яРЕДСТАВЬТЕ СЕБЕ ЧЕЛОВЕКА, ЖИВУЩЕГО В ЭПОХУ 
ЗАРОЖДЕНИЯ МАТЕМАТИЧЕСКОГО АНАЛИЗА, КОТОРОМУ НУЖНО НАХОДИТЬ НЕОПРЕДЕЛЕННЫЕ 
ИНТЕГРАЛЫ ОТ ВЕСЬМА ГРОМОЗДКИХ ПОДЫНТЕГРАЛЬНЫХ ВЫРАЖЕНИЙ И КОТОРЫЙ ЗНАЕТ 
ТОЛЬКО ОПРЕДЕЛЕНИЕ ПЕРВООБРАЗНОЙ ФУНКЦИИ И НЕ ЗНАЕТ НИКАКИХ ПРИЕМОВ 
ИНТЕГРИРОВАНИЯ. ъАКИМ ДЛЯ НЕГО БЫЛО БЫ ПОДСПОРЬЕМ, ЕСЛИ БЫ ЕМУ
cooБЩИЛИ О ПРАВИЛЕ ИНТЕГРИРОВАНИЯ ПО ЧАСТЯМ ИЛИ О ТАКОМ ПРИЕМЕ, КАК ЗАМЕНА 
ПЕРЕМЕННЫХ! хГО РАБОТА НЕ ПЕРЕСТАНЕТ БЫТЬ ТВОРЧЕСКОЙ, НО НАСКОЛЬКО РАСШИРЯТСЯ
ЕГО ВОЗМОЖНОСТИ И КАК МНОГО ПЕРЕЙДЕТ ИЗ ОБЛАСТИ НАХОДОК  В ОБЛАСТЬ ТЕХНИКИ. 
ЄО, ЧТО БЫЛО СЛОЖНЫМ, СТАНЕТ ПРОСТЫМ, ТО, ЧТО БЫЛО НЕПОСИЛЬНЫМ, СТАНЕТ
ТОЛЬКО СЛОЖНЫМ. ёИСТЕМАТИЧЕСКОЕ ИСПОЛЬЗОВАНИЕ, ОБОБЩЕНИЕ И РАСШИРЕНИЕ ЭТИХ 
ПРИЕМОВ ПОЗВОЛИТ ПОСТЕПЕННО ПЕРЕЙТИ К ФОРМАЛИЗАЦИИ, АЛГОРИТМИЗАЦИИ, А
ЗАТЕМ И К АВТОМАТИЗАЦИИ ОТДЕЛЬНЫХ ЭТАПОВ РЕШЕНИЯ ИЛИ ПОЛНОГО РЕШЕНИЯ 
СПЕЦИАЛЬНЫХ КЛАССОВ ЗАДАЧ
     
AВТОР КНИГИ, ¤.~фЕЙКСТРa,   НЕ НУЖДАЕТСЯ В ПРЕДСТАВЛЕНИИ,--- ЕГО РАБОТЫ 
ХОРОШО  ИЗВЕСТНЫ СОВЕТСКИМ ПРОГРАММИСТАМ. тМЕСТЕ С ў.~їОАРОМ ОНИ
НЕДАВНО СОВЕРШИЛИ ПОЕЗДКУ ПО КРУПНЕЙШИМ ГОРОДАМ НАШЕЙ СТРАНЫ, ВО 
ВРЕМЯ КОТОРОЙ ВЫСТУПИЛИ С ЛЕКЦИЯМИ ПЕРЕД МНОГОЧИСЛЕННЫМИ АУДИТОРИЯМИ.

ю СТРУКТУРЕ И СТИЛЕ КНИГИ ДОСТАТОЧНО ПОЛНО СКАЗАНО В ПРЕДИСЛОВИИ АВТОРА. 
ЄАМ ЖЕ ОН ПРЕДУПРЕЖДАЕТ, ЧТО ЧИТАТЬ ЕГО КНИГУ ТРУДНО. яРИЧИНА ЭТОГО 
ЗАКЛЮЧАЕТСЯ В СЛОЖНОСТИ САМИХ ПРОГРАММ, ПОСЛУЖИВШИХ ДЛЯ НЕЕ МАТЕРИАЛОМ. 
▀ ХОТЕЛ БЫ ДОБАВИТЬ, ЧТО ОНИ СЛОЖНЫ ДЛЯ НАС ТОЛЬКО СЕЙЧАС, КОГДА ТЕОРИЯ 
ПРОГРАММИРОВАНИЯ ДЕЛАЕТ СВОИ ПЕРВЫЕ ШАГИ. яРИДЕТ ВРЕМЯ, И ТАКИЕ ПРОГРАММЫ 
СМОЖЕТ СОСТАВЛЯТЬ (ИЛИ ВЫВОДИТЬ) ПРЯМО НА УРОКЕ КАЖДЫЙ ШКОЛЬНИК. 
ш ЧТОБЫ ЭТО ВРЕМЯ ПРИБЛИЗИТЬ, НАДО ОСВАИВАТЬ, ВНЕДРЯТЬ И РАЗВИВАТЬ ТЕОРИЮ. 
р ЭТОТ ПРОЦЕСС ЛЕГКО НЕ ПРОХОДИТ.
     
яЕРЕВОД ПРЕДИСЛОВИЯ И ГЛАВ 1--7 ВЫПОЛНЕН т.т.~ьАРТЫНЮКОМ, 
ГЛАВ 8--21 --- ш.X.~чУСМАН,  ГЛАВ 22--27 --- ы.т.~єХОВЫМ.

\rightline{{\sl ¤.~3.~ыЮБИМСКИЙ}}
\eject
\vfill

\chapter{яЁхфшёыютшх}
\medskip
шСТОРИКИ ТАКИХ ДРЕВНИХ ИНТЕЛЛЕКТУАЛЬНЫХ ДИСЦИПЛИН, КАК ПОЭЗИЯ, МУЗЫКА, ЖИВОПИСЬ 
И НАУКА, ВЫСОКО ОЦЕНИВАЮТ РОЛЬ ВЫДАЮЩИХСЯ ПРАКТИКОВ, ЧЬИ ДОСТИЖЕНИЯ ОБОГАТИЛИ 
ОПЫТ И РАСШИРИЛИ ПРЕДСТАВЛЕНИЯ ПОКЛОННИКОВ ЭТИХ ДИСЦИПЛИН, ПРОБУДИЛИ И УКРЕПИЛИ 
ТАЛАНТЫ ПОСЛЕДОВАТЕЛЕЙ. ЄО НОВОЕ, ЧТО ИМИ ВНЕСЕНО, ОСНОВЫВАЕТСЯ НА СОЧЕТАНИИ
ВИРТУОЗНОГО ПРАКТИЧЕСКОГО МАСТЕРСТВА И ПРОНИЦАТЕЛЬНОГО ОСМЫСЛИВАНИЯ 
ФУНДАМЕНТАЛЬНЫХ ПРИНЦИПОВ. тО МНОГИХ СЛУЧАЯХ ВЛИЯНИЕ ЭТИХ ЛЮДЕЙ УСИЛИВАЛОСЬ 
БЛАГОДАРЯ ИХ ВЫСОКОЙ КУЛЬТУРЕ, БОГАТСТВУ И ВЫРАЗИТЕЛЬНОСТИ ИХ РЕЧИ.
     
т ЭТОЙ КНИГЕ В ПРИСУЩЕМ ЕЕ АВТОРУ УТОНЧЕННОМ СТИЛЕ ПРЕДСТАВЛЕНА ПРИНЦИПИАЛЬНО 
НОВАЯ ТОЧКА ЗРЕНИЯ НА СУЩЕСТВО ПРОГРАММИРОВАНИЯ. шСХОДЯ ИЗ ЭТОЙ ТОЧКИ
ЗРЕНИЯ, АВТОР РАЗРАБОТАЛ СОВОКУПНОСТЬ НОВЫХ МЕТОДОВ ПРОГРАММИРОВАНИЯ И 
СРЕДСТВ ОБОЗНАЧЕНИЯ, КОТОРЫЕ ДЕМОНСТРИРУЮТСЯ И ПРОВЕРЯЮТСЯ НА МНОГОЧИСЛЕННЫХ
ИЗЯЩНЫХ И СОДЕРЖАТЕЛЬНЫХ ПРИМЕРАХ. ¤ТОТ ТРУД, НЕСОМНЕННО, БУДЕТ ПРИЗНАН ОДНИМ 
ИЗ ВЫДАЮЩИХСЯ ДОСТИЖЕНИЙ В РАЗРАБОТКЕ НОВОЙ ИНТЕЛЛЕКТУАЛЬНОЙ 
ДИСЦИПЛИНЫ --- ПРОГРАММИРОВАННЯ ДЛЯ ВЫЧИСЛИТЕЛЬНЫХ МАШИН.

\rightline{ў.~р.~Ё.~їОАР}
\vfill
\eject
     
\chapter{юЄ ртЄюЁр}
єЖЕ ДАВНО МНЕ ХОТЕЛОСЬ НАПИСАТЬ КНИГУ ТАКОГО РОДА. ▀ ЗНАЛ, ЧТО ПРОГРАММЫ 
МОГУТ ОЧАРОВЫВАТЬ ГЛУБИНОЙ СВОЕГО  ЛОГИЧЕСКОГО ИЗЯЩЕСТВА, НО МНЕ
ПОСТОЯННО ПРИХОДИЛОСЬ  УБЕЖДАТЬСЯ, ЧТО БОЛЬШИНСТВО ИЗ НИХ ПОЯВЛЯЮТСЯ В 
ВИДЕ, РАССЧИТАННОМ  НА МЕХАНИЧЕСКОЕ ИСПОЛНЕНИЕ, НО СОВЕРШЕННО НЕПРИГОДНОМ
ДЛЯ ЧЕЛОВЕЧЕСКОГО ВОСПРИЯТИЯ --- ГДЕ УЖ ТАМ ГОВОРИТЬ ОБ ИЗЯЩЕСТВЕ.  
ьЕНЯ НЕ УДОВЛЕТВОРЯЛО И ТО, ЧТО АЛГОРИТМЫ ЧАСТО ПУБЛИКУЮТСЯ В ФОРМЕ ГОТОВЫХ
ИЗДЕЛИЙ, ПОЧТИ БЕЗ УПОМИНАНИЯ ТЕХ РАССМОТРЕНИЙ, КОТОРЫЕ ПРОВОДИЛИСЬ В ПРОЦЕССЕ 
РАЗРАБОТКИ И СЛУЖИЛИ ОБОСНОВАНИЕМ ДЛЯ ОКОНЧАТЕЛЬНОГО ВИДА ЗАВЕРШЕННОЙ
ПРОГРАММЫ. ёНАЧАЛА Я ЗАДУМАЛ ИЗЛОЖИТЬ НЕКОТОРОЕ КОЛИЧЕСТВО ИЗЯЩНЫХ АЛГОРИТМОВ 
ТАКИМ СПОСОБОМ, ЧТОБЫ ЧИТАТЕЛЬ СМОГ ПРОЧУВСТВОВАТЬ ИХ КРАСОТУ; ДЛЯ ЭТОГО
Я СОБИРАЛСЯ КАЖДЫЙ РАЗ ОПИСЫВАТЬ ИСТИННЫЙ ИЛИ ВООБРАЖАЕМЫЙ ПРОЦЕСС ПОСТРОЕНИЯ, 
КОТОРЫЙ ПРИВОДИЛ БЫ К ПОЛУЧЕНИЮ ИСКОМОЙ ПРОГРАММЫ. ▀ НЕ ИЗМЕНИЛ СВОЕМУ 
ПЕРВОНАЧАЛЬНОМУ НАМЕРЕНИЮ В ТОМ СМЫСЛЕ, ЧТО ОСНОВОЙ ЭТОЙ МОНОГРАФИИ ОСТАЕТСЯ 
ДЛИННАЯ ПОСЛЕДОВАТЕЛЬНОСТЬ ГЛАВ, В КАЖДОЙ ИЗ КОТОРЫХ СТАВИТСЯ И РЕШАЕТСЯ НОВАЯ 
ЗАДАЧА. ЄЕМ НЕ МЕНЕЕ ОКОНЧАТЕЛЬНЫЙ ВАРИАНТ КНИГИ СУЩЕСТВЕННО ОТЛИЧАЕТСЯ
ОТ ЕЕ ПЕРВОНАЧАЛЬНОГО ЗАМЫСЛА ПОСКОЛЬКУ ВОЗЛОЖЕННАЯ МНОЮ НА СЕБЯ ОБЯЗАННОСТЬ 
ПРЕСТАВЛЯТЬ РЕШЕНИЯ В ЕСТЕСТВЕННОЙ И УБЕДИТЕЛЬНОЙ МАНЕРЕ ПОВЛЕКЛА ЗА СОБОЙ 
ГОРАЗДО БОЛЬШЕЕ, ЧЕМ Я ОЖИДАЛ, И Я НАВСЕГДА СОХРАНЮ ЧУВСТВО БЛАГОДАРНОСТИ 
СУДЬБЕ ЗА ТО, ЧТО ВЗЯЛСЯ ЗА ЭТУ РАБОТУ.
     
ъОГДА НАЧИНАЕШЬ ПИСАТЬ ПОДОБНУЮ КНИГУ, СРАЗУ ВОЗНИКАЕТ ПРОБЛЕМА: КАКИМ 
ЯЗЫКОМ ПРОГРАММИРОВАНИЯ ПОЛЬЗОВАТЬСЯ? ш ЭТО НЕ ТОЛЬКО ВОПРОС ПРЕДСТАВЛЕНИЯ!
эАИБОЛЕЕ ВАЖНЫМ, НО В ТО ЖЕ ВРЕМЯ И НАИБОЛЕЕ НЕЗАМЕТНЫМ СВОЙСТВОМ ЛЮБОГО 
ИНСТРУМЕНТА ЯВЛЯЕТСЯ ЕГО ВЛИЯНИЕ НА ФОРМИРОВАНИЕ ПРИВЫЧЕК ЛЮДЕЙ, КОТОРЫЕ 
ИМЕЮТ ОБЫКНОВЕНИЕ ИМ ПОЛЬЗОВАТЬСЯ. ъОГДА ЭТОТ ИНСТРУМЕНТ --- ЯЗЫК 
ПРОГРАММИРОВАНИЯ, ЕГО ВЛИЯНИЕ, НЕЗАВИСИМО ОТ НАШЕГО ЖЕЛАНИЯ, СКАЗЫВАЕТСЯ
НА НАШЕМ СПОСОБЕ  МЫШЛЕНИЯ. яРОАНАЛИЗИРОВАВ В СВЕТЕ ЭТОГО ВЛИЯНИЯ ВСЕ 
ИЗВЕСТНЫЕ МНЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ, Я ПРИШЕЛ К ВЫВОДУ, ЧТО НИ ОНИ
САМИ, НИ ИХ ПОДМНОЖЕСТВА НЕ ПОДХОДЯТ ДЛЯ МОИХ ЦЕЛЕЙ. ё ДРУГОЙ СТОРОНЫ, 
Я СЧИТАЛ СЕБЯ НАСТОЛЬКО НЕ ПОДГОТОВЛЕННЫМ К СОЗДАНИЮ НОВОГО ЯЗЫКА
ПРОГРАММИРОВАНИЯ, ЧТО ДАЛ ЗАРОК НЕ ЗАНИМАТЬСЯ ЭТИМ В БЛИЖАЙШЕЕ ПЯТИЛЕТИЕ, 
И Я ТВЕРДО ЗНАЮ, ЧТО ЭТОТ СРОК ЕЩЕ НЕ ВЫШЕЛ. (яРЕЖДЕ, ПОМИМО ВСЕГО ПРОЧЕГО,
МНЕ НУЖНО БЫЛО НАПИСАТЬ ЭТУ МОНОГРАФИЮ.) ▀ ПОПЫТАЛСЯ ВЫБРАТЬСЯ ИЗ ЭТОГО 
ТУПИКА, СОЗДАВ ЛИШЬ ПОДХОДЯЩИЙ ДЛЯ МОИХ ЦЕЛЕЙ МИНИ-ЯЗЫК И ВКЛЮЧИВ В
НЕГО ТОЛЬКО ТЕ ЭЛЕМЕНТЫ, КОТОРЫЕ ПРЕДСТАВЛЯЮТСЯ СОВЕРШЕННО НЕОБХОДИМЫМИ 
И ДОСТАТОЧНО ОБОСНОВАННЫМИ.
     
¤ТИ МОИ КОЛЕБАНИЯ И САМООГРАНИЧЕНИЕ, ЕСЛИ ИХ НЕПРАВИЛЬНО ПОНЯТЬ, МОГУТ 
РАЗОЧАРОВАТЬ МНОГИХ ПОТЕНЦИАЛЬНЬНЫХ ЧИТАТЕЛЕЙ. эАВЕРНЯКА РАЗОЧАРУЮТСЯ
ВСЕ ТЕ, КТО ОТОЖДЕСТВЛЯЕТ ТРУДНОСТЬ ПРОГРАММИРОВАНИЯ С ТРУДНОСТЬЮ 
ИЗОЩРЕННОГО ИСПОЛЬЗОВАНИЯ ГРОМОЗДКИХ И ПРИЧУДЛИВЫХ СООРУЖЕНИЙ,
ИЗВЕСТНЫХ ПОД НАЗВАНИЕМ "ЯЗЫКИ ПРОГРАММИРОВАНИЯ ВЫСОКОГО УРОВНЯ" 
ИЛИ --- ЕЩЕ ХУЖЕ! --- "СИСТЕМЫ ПРОГРАММИРОВАНИЯ". хСЛИ ОНИ СОЧТУТ СЕБЯ 
ОБМАНУТЫМИ ИЗ-ЗА ТОГО, ЧТО Я ВОВСЕ НЕ КАСАЮСЬ ВСЕХ ЭТИХ ПОГРЕМУШЕК И 
СВИСТУЛЕК, МОГУ ОТВЕТИТЬ ИМ ТОЛЬКО ОДНО: "р ВПОЛНЕ ЛИ ВЫ УВЕРЕНЫ, ЧТО ВСЕ ЭТИ
ПОГРЕМУШКИ И СВИСТУЛЬКИ,  ВСЕ ЭТИ ПОТРЯСАЮЩИЕ ВОЗМОЖНОСТИ ВАШИХ, ТАК СКАЗАТЬ, 
"МОЩНЫХ" ЯЗЫКОВ ПРОГРАММИРОВАНИЯ ИМЕЮТ ОТНОШЕНИЕ К ПРОЦЕССУ РЕШЕНИЯ, А НЕ К 
САМИМ ЗАДАЧАМ?" ьНЕ ОСТАЕТСЯ ЛИШЬ НАДЕЯТЬСЯ, ЧТО, НЕСМОТРЯ НА УПОТРЕБЛЕНИЕ 
МНОЮ МИНИ-ЯЗЫКА, ОНИ ВСЕ ЖЕ ПРОЧТУТ ПРЕДЛАГАЕМЫЙ ТЕКСТ. ЄОГДА ОНИ, ВОЗМОЖНО 
ПРИЗНАЮТ, ЧТО ПОМИМО ПОГРЕМУШЕК И СВИСТУЛЕК ИМЕЕТСЯ ОЧЕНЬ БОГАТОЕ СОДЕРЖАНИЕ 
И ВОЗНИКНЕТ ВОПРОС, СТОИЛО ЛИ БОЛЬШИНСТВО ИЗ НИХ ВООБЩЕ ПРИДУМЫВАТЬ. р ВСЕМ 
ЧИТАТЕЛЯМ, ИНТЕРЕСУЮЩИМСЯ ПРЕИМУЩЕСТВЕННО РАЗРАБОТКОЙ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ, 
Я МОГУ ТОЛЬКО ПРИНЕСТИ ИЗВИНЕНИЯ В СВЯЗИ С ТЕМ, ЧТО ЕЩЕ НЕ МОГУ ВЫСКАЗАТЬСЯ НА 
ЭТУ ТЕМУ БОЛЕЕ ОПРЕДЕЛЕННО. ЄЕМ ВРЕМЕНЕМ ЭТА МОНОГРАФИЯ, ВОЗМОЖНО, НАВЕДЕТ ИХ 
НА НЕКОТОРЫЕ РАЗМЫШЛЕНИЯ И ПОМОЖЕТ ИМ ИЗБЕЖАТЬ ОШИБОК, КОТОРЫЕ ОНИ МОГЛИ БЫ 
СОВЕРШИТЬ, ЕСЛИ БЫ НЕ ПРОЧЛИ ЕЕ.

\bigskip
яРОЦЕСС РАБОТЫ НАД КНИГОЙ, КОТОРЫЙ ЯВИЛСЯ ДЛЯ  МЕНЯ НЕПРЕРЫВНЫМ ИСТОЧНИКОМ 
УДИВЛЕНИЯ И ВДОХНОВЕНИЯ, ПРИВЕЛ К ПОЯВЛЕНИЮ ТЕКСТА, ОСНОВАТЕЛЬНО ОТЛИЧАЮЩЕГОСЯ 
ОТ ПЕРВОНАЧАЛЬНОГО ЗАМЫСЛА. ёНАЧАЛА У МЕНЯ БЫЛО ВПОЛНЕ ПОНЯТНОЕ НАМЕРЕНИЕ 
ПРЕДСТАВИТЬ ПОСТРОЕНИЕ ПРОГРАММ С ПОМОЩЬЮ  АППАРАТА, ЧУТЬ БОЛЕЕ ФОРМАЛЬНОГО 
ЧЕМ ТОТ, КОТОРЫЙ Я ИМЕЛ  ОБЫКНОВЕНИЕ ИСПОЛЬЗОВАТЬ В СВОИХ ВВОДНЫХ ЛЕКЦИЯХ, 
ГДЕ СЕМАНТИКА ОБЫЧНО ВВОДИЛАСЬ ИНТУИТИВНО, А ДОКАЗАТЕЛЬСТВА ПРАВИЛЬНОСТИ 
ПРЕДСТАВЛЯЛИ СОБОЙ СМЕСЬ СТРОГИХ РАССУЖДЕНИЙ, ЖЕСТИКУЛЯЦИИ И КРАСНОРЕЧИЯ.
ЁАЗРАБАТЫВАЯ НЕОБХОДИМЫЕ ОСНОВЫ ДЛЯ  БОЛЕЕ ФОРМАЛЬНОГО ПОДХОДА, Я ОБНАРУЖИЛ 
ДВА НЕОЖИДАННЫХ ОБСТОЯТЕЛЬСТВА.
     
яЕРВАЯ НЕОЖИДАННОСТЬ СОСТОЯЛА В ТОМ, ЧТО ТАК НАЗЫВАЕМЫЕ "ПРЕОБРАЗОВАТЕЛИ 
ПРЕДИКАТОВ", ВЫБРАННЫЕ МНОЮ В КАЧЕСТВЕ СРЕДСТВА ИЗоЯСНЕНИЯ, ПОЗВОЛИЛИ ПРЯМО
ОПРЕДЕЛЯТЬ СВЯЗЬ МЕЖДУ НАЧАЛЬНЫМ И КОНЕЧНЫМ СОСТОЯНИЯМИ БЕЗ КАКИХ-ЛИБО 
ССЫЛОК НА ПРОМЕЖУТОЧНЫЕ СОСТОЯНИЯ, КОТОРЫЕ МОГУТ ВОЗНИКАТЬ ВО ВРЕМЯ
ВЫПОЛНЕНИЯ ПРОГРАММЫ.  ▀ ОБРАДОВАЛСЯ ТОМУ, ЧТО ЭТО ДАЕТ ВОЗМОЖНОСТЬ ПРОВЕСТИ 
ЧЕТКОЕ РАЗГРАНИЧЕНИЕ ДВУХ ОСНОВНЫХ ПРОБЛЕМАТИК ПРОГРАММИРОВАНИЯ:
ПРОБЛЕМАТИКИ  МАТЕМАТИЧЕСКОЙ КОРРЕКТНОСТИ (РЕЧЬ ИДЕТ О ПРОВЕРКЕ, ОПРЕДЕЛЯЕТ 
ЛИ ПРОГРАММА ПРАВИЛЬНОЕ  СООТНОШЕНИЕ МЕЖДУ НАЧАЛЬНЫМ И КОНЕЧНЫМ
СОСТОЯНИЯМИ --- И ПРЕОБРАЗОВАТЕЛИ ПРЕДИКАТОВ ОБЕСПЕЧИВАЮТ НАМ ФОРМАЛЬНОЕ 
СРЕДСТВО ДЛЯ ТАКОГО ИССЛЕДОВАНИЯ БЕЗ РАССМОТРЕНИЯ ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА) 
И ИНЖЕНЕРНОЙ ПРОБЛЕМАТИКИ ЭФФЕКТИВНОСТИ (БЛАГОДАРЯ РАЗГРАНИЧЕНИЮ СТАНОВИТСЯ 
ОЧЕВИДНЫМ, ЧТО ПОСЛЕДНЯЯ ПРОБЛЕМАТИКА ОПРЕДЕЛЕНА ТОЛЬКО В СВЯЗИ С РЕАЛИЗАЦИЕЙ).
яОЖАЛУЙ, САМОЕ ПОЛЕЗНОЕ ОТКРЫТИЕ СОСТОИТ В ТОМ, ЧТО ОДИН И ТОТ ЖЕ ТЕКСТ 
ПРОГРАММЫ ДОПУСКАЕТ ДВЕ (В ИЗВЕСТНОМ СМЫСЛЕ ДОПОЛНЯЮЩИЕ ДРУГ ДРУГА) 
ИНТЕРПРЕТАЦИИ. шНТЕРПРЕТАЦИЯ В  ВИДЕ КОДА ПРЕОБРАЗОВАТЕЛЕЙ ПРЕДИКАТОВ, КОТОРАЯ 
ПРЕДСТАВЛЯЕТСЯ БОЛЕЕ ПОДХОДЯЩЕЙ ДЛЯ НАС,  ПРОТИВОСТОИТ ИНТЕРПРЕТАЦИИ В
ВИДЕ КОДА ДЛЯ  ВЫПОЛНЕНИЯ --- ЕЕ Я ПРЕДПОЧИТАЮ ОСТАВЛЯТЬ МАШИНАМ!

тТОРОЙ НЕОЖИДАННОСТЬЮ ОКАЗАЛОСЬ ТО, ЧТО САМЫЕ ЕСТЕСТВЕННЫЕ И 
СИСТЕМАТИЗИРОВАННЫЕ "КОДЫ ПРЕОБРАЗОВАТЕЛЕЙ ПРЕДИКАТОВ", КАКИЕ Я МОГ СЕБЕ
ПРЕДСТАВИТЬ, ПОТРЕБОВАЛИ БЫ  НЕДЕТЕРМИНИРОВАННОЙ РЕАЛИЗАЦИИ, ЕСЛИ РАССМАТРИВАТЬ 
ИХ КАК "КОДЫ ДЛЯ ВЫПОЛНЕНИЯ". тНАЧАЛЕ Я СОДРОГАЛСЯ ОТ МЫСЛИ, ЧТО ПРИДЕТСЯ 
ВВЕСТИ НЕДЕТЕРМИНИРОВАННОСТЬ УЖЕ В ОДНОПРОГРАМНОМ РЕЖИМЕ (СЛИШКОМ ХОРОШО МНЕ 
БЫЛИ ИЗВЕСТНЫ СЛОЖНОСТИ, ВОЗНИКАЮЩИЕ ИЗ-ЗА ЭТОГО В МУЛЬТИПРОГРАММИРОВАНИИ); 
ОДНАКО ПОТОМ Я ПОНЯЛ, ЧТО ИНТЕРПРЕТАЦИЯ ТЕКСТА КАК КОДА ПРЕОБРАЗОВАТЕЛЯ
ПРЕДИКАТОВ ИМЕЕТ ПРАВО НА НЕЗАВИСИМОЕ СУЩЕСТВОВАНИЕ. (юГЛЯДЫВАЯСЬ НАЗАД, 
МЫ МОЖЕМ ОТМЕТИТЬ, ЧТО МНОГИЕ ПРОБЛЕМЫ МУЛЬТИПРОГРАММИРОВАНИЯ, СТАВИВШИЕ НАС 
ПРЕЖДЕ В ТУПИК, ЯВЛЯЮТСЯ ВСЕГО ЛИШЬ СЛЕДСТВИЕМ АПРИОРНОЙ ТЕНДЕНЦИИ ПРИДАВАТЬ 
ДЕТЕРМИНИРОВАННОСТИ СЛИШКОМ БОЛЬШОЕ ЗНАЧЕНИЕ.)  т КОНЦЕ КОНЦОВ Я ПРИШЕЛ К
ТОМУ, ЧТО СТАЛ СЧИТАТЬ НЕДЕТЕРМИНИРОВАННОСТЬ ЕСТЕСТВЕННОЙ СИТУАЦИЕЙ, ПРИ ЭТОМ
ДЕТЕРМИНИРОВАННОСТЬ СВЕЛАСЬ К ДОВОЛЬНО БАНАЛЬНОМУ ЧАСТНОМУ СЛУЧАЮ.

єСТАНОВИВ ЭТИ ОСНОВЫ, Я ПРИСТУПИЛ, КАК И НАМЕРЕВАЛСЯ, К РЕШЕНИЮ ДЛИННОЙ 
ПОСЛЕДОВАТЕЛЬНОСТИ ЗАДАЧ. ¤ТО ЗАНЯТИЕ ОКАЗАЛОСЬ НЕОЖИДАННО УВЛЕКАТЕЛЬНЫМ. ▀
УБЕДИЛСЯ В ТОМ, ЧТО ФОРМАЛЬНЫЙ АППАРАТ ПОЗВОЛЯЕТ МНЕ УХВАТЫВАТЬ СУЩЕСТВО 
ДЕЛА ГОРАЗДО ЧЕТЧЕ, ЧЕМ РАНЬШЕ. ▀ ПОЛУЧИЛ УДОВОЛЬСТВИЕ, ОБНАРУЖИВ, ЧТО
ЯВНАЯ ПОСТАНОВКА ВОПРОСА О ЗАВЕРШИМОСТИ МОЖЕТ ИМЕТЬ БОЛЬШОЕ ЭВРИСТИЧЕСКОЕ 
ЗНАЧЕНИЕ; ТУТ Я ДАЖЕ НАЧАЛ СОЖАЛЕТЬ  ОБ ИЗЛИШНЕ РАСПРОСТРАНЕННОЙ СКЛОННОСТИ 
К ЧАСТИЧНОЙ КОРРЕКТНОСТИ. эО САМОЕ ПРИЯТНОЕ СОСТОЯЛО В ТОМ, ЧТО БОЛЬШИНСТВО 
РЕШЕННЫХ МНОЮ РАНЕЕ ЗАДАЧ ТЕПЕРЬ УВЕНЧАЛОСЬ БОЛЕЕ ИЗЯЩНЫМИ РЕШЕНИЯМИ. 
▀ ВОСПРИНЯЛ ЭТО КАК ВЕСЬМА ОБОДРЯЮЩЕЕ СВИДЕТЕЛЬСТВО ТОГО, ЧТО РАЗРАБОТАННАЯ 
МЕТОДИКА И В САМОМ ДЕЛЕ УЛУЧШИЛА МОИ ПРОГРАММИСТСКИЕ ВОЗМОЖНОСТИ.

\bigskip
ъАК СЛЕДУЕТ ИЗУЧАТЬ ЭТУ МОНОГРАФИЮ? ыУЧШЕЕ, ЧТО Я МОГУ ПОСОВЕТОВАТЬ: 
ПРЕРЫВАЙТЕ ЧТЕНИЕ, КАК ТОЛЬКО УСВОИТЕ ПОСТАНОВКУ ЗАДАЧИ, И ПЫТАЙТЕСЬ СНАЧАЛА
РЕШИТЬ ЕЕ САМОСТОЯТЕЛЬНО, ЗАТЕМ ПРОДОЛЖАЙТЕ ЧТЕНИЕ. яОПЫТКА САМОСТОЯТЕЛЬНОГО 
РЕШЕНИЯ ЗАДАЧИ ПРЕДСТАВЛЯЕТСЯ ЕДИНСТВЕННЫМ СПОСОБОМ ПРОЧУВСТВОВАТЬ, НАСКОЛЬКО 
ОНА ТРУДНА; КРОМЕ ТОГО, ВЫ МОЖЕТЕ СРАВНИВАТЬ МОЕ РЕШЕНИЕ С ВАШИМ И ПОЛУЧИТЬ 
УДОВЛЕТВОРЕНИЕ, ЕСЛИ ВАШЕ ОКАЖЕТСЯ ЛУЧШЕ. яРЕДУПРЕЖДАЮ ЗАРАНЕЕ: НЕ ОГОРЧАЙТЕСЬ, 
КОГДА УВИДИТЕ, ЧТО ЭТОТ ТЕКСТ ЧИТАЕТСЯ ОТНЮДЬ НЕ ЛЕГКО. ЄЕ, КТО ИЗУЧАЛИ ЕГО 
В РУКОПИСИ, ЧАСТО ИСПЫТЫВАЛИ ЗАТРУДНЕНИЯ (НО ВПОЛНЕ ВОЗНАГРАЖДАЛИСЬ ЗА ЭТО).
тПРОЧЕМ, КАЖДЫЙ ПРИ АНАЛИЗЕ ИХ ЗАТРУДНЕНИЙ МЫ СОВМЕСТНО УБЕЖДАЛИСЬ В ТОМ, 
ЧТО "ВИНОВНЫМ" ОКАЗЫВАЛСЯ ВОВСЕ НЕ ТЕКСТ (Т. Е. СПОСОБ ИЗЛОЖЕНИЯ), А САМ 
ИЗЛАГАЕМЫЙ МАТЕРИАЛ. ьОРАЛЬ ЭТОГО МОЖЕТ БЫТЬ ТОЛЬКО ТАКОВА: НЕТРИВИАЛЬНЫЙ
АЛГОРИТМ И ВПРАВДУ НЕТРИВИАЛЕН, А ЕГО ОКОНЧАТЕЛЬНАЯ ЗАПИСЬ НА ЯЗЫКЕ 
ПРОГРАММИРОВАНИЯ СЛИШКОМ ЛАКОНИЧНА ПО СРАВНЕНИЮ С РАССУЖДЕНИЯМИ,
ОБОСНОВЫВАЮЩИМИ ЕГО РАЗРАБОТКУ; ЭТА КРАТКОСТЬ ОКОНЧАТЕЛЬНОГО ТЕКСТА НЕ 
ДОЛЖНА НАС ДЕЗОРИЕНТИРОВАТЬ. юДИН ИЗ МОИХ  СОТРУДНИКОВ ВНЕС ПРЕДЛОЖЕНИЕ 
(А Я ДОВОЖУ ЕГО ДО ВАШЕГО СВЕДЕНИЯ, ПОСКОЛЬКУ ОНО МОЖЕТ ОКАЗАТЬСЯ ПОЛЕЗНЫМ), 
ЧТОБЫ НЕБОЛЬШИЕ ГРУППЫ СТУДЕНТОВ ИЗУЧАЛИ КНИГУ ВМЕСТЕ. (чДЕСЬ Я ДОЛЖЕН ДОБАВИТЬ 
В СКОБКАХ ЗАМЕЧАНИЕ ПО ПОВОДУ "ТРУДНОСТИ" ЭТОГО ТЕКСТА. яОСВЯТИВ НЕМАЛО ЛЕТ 
СВОЕЙ НАУЧНОЙ ЖИЗНИ ТОМУ ЧТОБЫ ПРОЯСНИТЬ ЗАДАЧИ ПРОГРАММИСТА И СДЕЛАТЬ ИХ 
БОЛЕЕ ПОДВЛАСТНЫМИ НАШЕМУ ИНТЕЛЛЕКТУ, Я ОБНАРУЖИЛ С УДИВЛЕНИЕМ (И РАЗДРАЖЕНИЕМ), 
ЧТО МОЕ СТРЕМЛЕНИЕ ВНЕСТИ ЯСНОСТЬ ПРИВОДИТ К СИСТЕМАТИЧЕСКИМ ОБВИНЕНИЯМ В ТОМ, 
ЧТО Я "ВНЕС В ПРОГРАММИРОВАНИЕ ТРУДНОСТИ". эО ЭТИ ТРУДНОСТИ ВСЕГДА В НЕМ БЫЛИ; 
И ТОЛЬКО СДЕЛАВ ИХ ВИДИМЫМИ, МЫ СМОЖЕМ НАДЕЯТЬСЯ, ЧТО НАУЧИМСЯ РАЗРАБАТЫВАТЬ 
ПРОГРАММЫ С ВЫСОКОЙ СТЕПЕНЬЮ НАДЕЖНОСТИ, А НЕ ПРОСТО "ЛЕПИТЬ КОМАНДЫ", 
Т.~Е. ВЫДАВАТЬ ТЕКСТЫ, ОСНОВАННЫЕ НА НЕУБЕДИТЕЛЬНЫХ ПРЕДПОЛОЖЕНИЯХ, 
СОСТОЯТЕЛЬНОСТЬ КОТОРЫХ МОЖЕТ ВЫЯВИТЬСЯ ПОСЛЕ ПЕРВОГО ЖЕ ПРОТИВОРЕЧАЩЕГО 
ПРИМЕРА. эЕЗАЧЕМ И ГОВОРИТЬ, ЧТО НИ ОДНА ПРОГРАММА ИЗ ЭТОЙ МОНОГРАФИИ НЕ
ПРОВЕРЯЛАСЬ НА МАШИНЕ.)

▀ ДОЛЖЕН ОБоЯСНИТЬ ЧИТАТЕЛЮ, ПОЧЕМУ Я ПОЛЬЗУЮСЬ МИНИ-ЯЗЫКОМ, СТОЛЬ 
ОГРАНИЧЕННЫМ, ЧТО В НЕМ НЕТ ДАЖЕ ПРОЦЕДУР И РЕКУРСИИ. яОСКОЛЬКУ КАЖДОЕ
СЛЕДУЮЩЕЕ РАСШИРЕНИЕ ЯЗЫКА ДОБАВЛЯЛО БЫ К ЭТОЙ КНИГЕ ЕЩЕ НЕСКОЛЬКО ГЛАВ, 
ТЕМ САМЫМ СООТВЕТСТВЕННО УВЕЛИЧИВАЯ ЕЕ СТОИМОСТЬ, ОТСУТСТВИЕ БОЛЬШИНСТВА
ВОЗМОЖНЫХ РАСШИРЕНИЙ (ТАКИХ, КАК, НАПРИМЕР, МУЛЬТИПРОГРАММИРОВАНИЕ) НЕ 
НУЖДАЕТСЯ В ДОПОЛНИТЕЛЬНЫХ ОПРАВДАНИЯХ.  юДНАКО  ПРОЦЕДУРЫ ВСЕГДА ЗАНИМАЛИ 
ТАКОЕ ВАЖНОЕ МЕСТО, А РЕКУРСИЯ ДЛЯ ВЫЧИСЛИТЕЛЬНОЙ НАУКИ В ТАКОЙ СТЕПЕНИ 
СЧИТАЛАСЬ ПРИЗНАКОМ  АКАДЕМИЧЕСКОЙ РЕСПЕКТАБЕЛЬНОСТИ, ЧТО НЕКОТОРОЕ 
РАЗоЯСНЕНИЕ ПРЕДСТАВЛЯЕТСЯ НЕОБХОДИМЫМ.

яРЕЖДЕ ВСЕГО ЭТА КНИГА ПРЕДНАЗНАЧЕНА НЕ ДЛЯ НАЧИНАЮЩИХ, И Я РАССЧИТЫВАЮ, ЧТО 
МОИ ЧИТАТЕЛИ УЖЕ ЗНАКОМЫ С УКАЗАННЫМИ ПОНЯТИЯМИ. тО-ВТОРЫХ, КНИГА НЕ ЯВЛЯЕТСЯ
ВВОДНЫМ ТЕКСТОМ ПО КАКОМУ-ТО КОНКРЕТНОМУ ЯЗЫКУ ПРОГРАММИРОВАНИЯ, ТАК ЧТО 
ОТСУТСТВИЕ В НЕЙ ЭТИХ КОНСТРУКЦИЙ И ПРИМЕРОВ ИХ УПОТРЕБЛЕНИЯ НЕ СЛЕДУЕТ
ОБоЯСНЯТЬ МОЕЙ НЕСПОСОБНОСТЬЮ ИЛИ НЕЖЕЛАНИЕМ ИМИ ПОЛЬЗОВАТЬСЯ ИЛИ ЖЕ 
ВОСПРИНИМАТЬ КАК НАМЕК НА ТО, ЧТО ВООБЩЕ ЛУЧШЕ ВОЗДЕРЖИВАТЬСЯ ОТ ИХ ПРИМЕНЕНИЯ.
яРОСТО ОНИ НЕ ПОТРЕБОВАЛИСЬ МНЕ ДЛЯ РАЗоЯСНЕНИЯ МОЕЙ ГЛАВНОЙ МЫСЛИ О ТОМ, 
НАСКОЛЬКО СУЩЕСТВЕННО ТЩАТЕЛЬНОЕ РАЗГРАНИЧЕНИЕ ПРОБЛЕМАТИК ДЛЯ РАЗРАБОТКИ 
ВСЕСТОРОННЕ ВЫСОКОКАЧЕСТВЕННЫХ ПРОГРАММ; СКРОМНЫЕ СРЕДСТВА МИНИ-ЯЗЫКА
ПРЕДОСТАВЛЯЮТ НАМ БОЛЕЕ ЧЕМ ДОСТАТОЧНЫЙ ПРОСТОР ДЛЯ НЕТРИВИАЛЬНЫХ И В ТО 
ЖЕ ВРЕМЯ ВПОЛНЕ ПРИЕМЛЕМЫХ РАЗРАБОТОК.

ьОЖНО ОБОЙТИСЬ ЭТИМ ОБоЯСНЕНИЕМ, НО ОНО ВСЕ ЖЕ НЕ ЯВЛЯЕТСЯ ИСЧЕРПЫВАЮЩИМ. 
▀ ВСЕ РАВНО СЧИТАЛ СЕБЯ ОБЯЗАННЫМ ВВЕСТИ ПОВТОРЕНИЕ КАК САМОСТОЯТЕЛЬНУЮ
КОНСТРУКЦИЮ, ПОСКОЛЬКУ МНЕ ПРЕДСТАВЛЯЛОСЬ, ЧТО ЭТО СЛЕДОВАЛО СДЕЛАТЬ УЖЕ 
ДАВНО. ъОГДА ЯЗЫКИ ПРОГРАММИРОВАНИЯ ЗАРОЖДАЛИСЬ, "ДИНАМИЧЕСКАЯ" ПРИРОДА 
ОПЕРАТОРА ПРИСВАИВАНИЯ КАЗАЛАСЬ НЕ ОЧЕНЬ ПРИСПОСОБЛЕННОЙ К "СТАТИЧЕСКОЙ" 
ПРИРОДЕ ТРАДИЦИОННОЙ МАТЕМАТИКИ.  шЗ-ЗА ОТСУТСТВИЯ СООТВЕТСТВУЮЩЕЙ ТЕОРИИ 
МАТЕМАТИКИ ОЩУЩАЛИ НЕКОТОРЫЕ ЗАТРУДНЕНИЯ, СВЯЗАННЫЕ С ЭТИМ ОПЕРАТОРОМ, 
А ПОСКОЛЬКУ ИМЕННО КОНСТРУКЦИЯ ПОВТОРЕНИЯ СОЗДАЕТ НЕОБХОДИМОСТЬ В 
ПРИСВАИВАНИЯХ ПЕРЕМЕННЫМ, МАТЕМАТИКИ ОЩУЩАЛИ ЗАТРУДНЕНИЯ И В СВЯЗИ С 
ПОВТОРЕНИЕМ. ъОГДА БЫЛИ РАЗРАБОТАНЫ ЯЗЫКИ БЕЗ ПРИСВАИВАНИЯ И БЕЗ 
ПОВТОРЕНИЙ --- ТАКИЕ, КАК ЧИСТЫЙ ышёя,--- МНОГИЕ ПОЧУВСТВОВАЛИ ЗНАЧИТЕЛЬНОЕ
ОБЛЕГЧЕНИЕ. юНИ СНОВА ОЩУТИЛИ ПОД НОГАМИ ЗНАКОМУЮ ПОЧВУ И УВИДЕЛИ ПРОБЛЕСК 
НАДЕЖДЫ ПРЕВРАТИТЬ ПРОГРАММИРОВАНИЕ В ЗАНЯТИЕ С ТВЕРДОЙ И СОЛИДНОЙ
МАТЕМАТИЧЕСКОЙ ОСНОВОЙ. (фО СЕГО ВРЕМЕНИ СРЕДИ СКЛОННЫХ К ТЕОРЕТИЗИРОВАНИЮ 
СПЕЦИАЛИСТОВ ПО МАШИННОЙ МАТЕМАТИКЕ ВСЕ ЕЩЕ ШИРОКО РАСПРОСТРАНЕНО МНЕНИЕ, 
ЧТО РЕКУРСИВНЫЕ ПРОГРАММЫ "БОЛЕЕ ЕСТЕСТВЕННЫ", ЧЕМ ПРОГРАММЫ С ПОВТОРЕНИЯМИ.)

фРУГОГО ВЫХОДА ИЗ ПОЛОЖЕНИЯ ПУТЕМ НАДЕЖНОГО И ДЕЙСТВЕННОГО МАТЕМАТЧЕСКОГО 
ОБОСНОВАНИЯ ПАРЫ ПОНЯТИЙ "ПОВТОРЕНИЕ" И  "ПРИСВАИВАНИЕ ПЕРЕМЕННОЙ"
НАМ ПРЕДСТОЯЛО ЖДАТЬ ЕЩЕ ДЕСЯТЬ ЛЕТ. р ВЫХОД, КАК ПОКАЗАНО В ЭТОЙ МОНОГРАФИИ, 
ЗАКЛЮЧАЛСЯ В ТОМ, ЧТО СЕМАНТИКУ КОНСТРУКЦИИ ПОВТОРЕНИЯ МОЖНО ОПИСАТЬ С
ПОМОЩЬЮ РЕКУРРЕНТНЫХ ОТНОШЕНИЙ МЕЖДУ ПРЕДИКАТАМИ, ТОГДА КАК ДЛЯ ОПИСАНИЯ 
СЕМАНТИКИ ОБЩЕЙ РЕКУРСИИ ТРЕБУЮТСЯ РЕКУРРЕНТНЫЕ ОТНОШЕНИЯ МЕЖДУ
ПРЕОБРАЗОВАТЕЛЯМИ ПРЕДИКАТОВ. юТСЮДА СОВЕРШЕННО ОЧЕВИДНО, ПОЧЕМУ  Я СЧИТАЮ 
ОБЩУЮ РЕКУРСИЮ НА ПОРЯДОК БОЛЕЕ СЛОЖНОЙ КОНСТРУКЦИЕЙ, ЧЕМ ПРОСТОЕ
ПОВТОРЕНИЕ; И ПОЭТОМУ МНЕ БОЛЬНО СМОТРЕТЬ, КАК СЕМАНТИКУ КОНСТРУКЦИИ 
ПОВТОРЕНИЯ
$$
"\kwd{while } B \kwd{ do } S"
$$
ОПРЕДЕЛЯЮТ  КАК СЕМАНТИКУ ОБРАЩЕНИЯ
$$
"whiledo(B,S)"
$$
К РЕКУРСИВНОЙ ПРОЦЕДУРЕ (ОПИСАННОЙ В СИНТАКСИСЕ ЯЗЫКА рыуюы 60):
{\obeylines
\kwd{procedure} \var{whiledo}(\var{УСЛОВИЕ}, \var{ОПЕРАТОР});
 \kwd{begin} \kwd{if} \var{УСЛОВИЕ} \kwd{then} \kwd{begin} \var{ОПЕРАТОР};
       whiledo(\var{УСЛОВИЕ},\var{ОПЕРАТОР}) \kwd{end}
\kwd{end}

}
эЕСМОТРЯ НА ФОРМАЛЬНУЮ ПРАВИЛЬНОСТЬ, ЭТО МНЕ НЕПРИЯТНО, ПОТОМУ, ЧТО Я НЕ 
ЛЮБЛЮ, КОГДА ИЗ ПУШКИ СТРЕЛЯЮТ ПО ВОРОБЬЯМ, ВНЕ ЗАВИСИМОСТИ ОТ ТОГО, НАСКОЛЬКО
ЭФФЕКТИВНО ПУШКА СПРАВЛЯЕТСЯ С ТАКОЙ РАБОТОЙ. фЛЯ ПОКОЛЕНИЯ ТЕОРЕТИКОВ 
МАШИННОЙ МАТЕМАТИКИ, КОТОРЫЕ ПОДКЛЮЧАЛИСЬ К ЭТОЙ ТЕМАТИКЕ В ТЕЧЕНИЕ
ШЕСТИДЕСЯТЫХ ГОДОВ, ПРИВЕДЕННОЕ ВЫШЕ РЕКУРСИВНОЕ ОПРЕДЕЛЕНИЕ ЧАСТО ЯВЛЯЕТСЯ 
НЕ ТОЛЬКО "ЕСТЕСТВЕННЫМ",  НО ДАЖЕ "САМЫМ ПРАВИЛЬНЫМ". юДНАКО ВВИДУ ТОГО, ЧТО 
БЕЗ ПОНЯТИЯ ПОВТОРЕНИЯ МЫ НЕ МОЖЕМ ДАЖЕ ОПИСАТЬ ПОВЕДЕНИЕ  МАШИНЫ ЄЬЮРИНГА,
ПРЕДСТАВЛЯЕТСЯ НЕОБХОДИМЫМ ПРОИЗВЕСТИ НЕКОТОРОЕ ВОССТАНОВЛЕНИЕ РАВНОВЕСИЯ.

яО ПОВОДУ ОТСУТСТВИЯ БИБЛИОГРАФИИ Я НЕ ПРЕДЛАГАЮ НИ ОБоЯСНЕНИЙ, НИ ИЗВИНЕНИЙ.


{\sl сЛАГОДАРНОСТИ.} ёЛЕДУЮЩИЕ ЛИЦА ОКАЗАЛИ НЕПОСРЕДСТВЕННОЕ ВЛИЯНИЕ НА 
РАЗРАБОТКУ ЭТОЙ КНИГИ, ЛИБО ПРИНЯВ УЧАСТИЕ В ОБСУЖДЕНИИ ЕЕ ПРЕДПОЛАГАЕМОГО 
СОДЕРЖАНИЯ, ЛИБО ВЫСКАЗАВ ЗАМЕЧАННЯ ОТНОСИТЕЛЬНО ГОТОВОЙ РУКОПИСИ ИЛИ ЕЕ
ЧАСТЕЙ: ъ.~сРОН, Ё.~сЕРСТАЛЛ, є.~ЇЕЙЕН, ў.~їОАР, ф.~ъНУТ, ь.~ЁЕМ, 
фЖ.~ЁЕЙНОЛЬДС, ф.~ЁОСС, ъ.~°ОЛТЕН, у.~чИГМЮЛЛЕР, э.~тИРТ И ь.~тУДЖЕР. 
▀ СЧИТАЮ ЧЕСТЬЮ ДЛЯ СЕБЯ ВОЗМОЖНОСТЬ ПУБЛИЧНО ВЫРАЗИТЬ ИМ МОЮ ПРИЗНАТЕЛЬНОСТЬ 
ЗА СОТРУДНИЧЕСТВО. ъРОМЕ ТОГО, Я ВЕСЬМА ОБЯЗАН КОРПОРАЦИИ Burroughs,
СОЗДАВШЕЙ МНЕ БЛАГОПРИЯТНЫЕ УСЛОВИЯ И ПРЕДОСТАВИВШЕЙ  НЕОБХОДИМЫЕ СРЕДСТВА, 
И БЛАГОДАРЕН МОЕЙ ЖЕНЕ ЗА НЕИЗМЕННУЮ ПОДДЕРЖКУ И ОДОБРЕНИЕ.

\rightline{¤. т. фЕЙКСТРА}
\leftline{эЕЙЕН }
\leftline{эИДЕРЛАНДЫ}
\bye