Читать онлайн «Теория схем программ»

В. Е. КОТОВ В. К. САБЕЛЬФЕЛЬД ТЕОРИЯ СХЕМ ПРОГРАММ МОСКВА «НАУКА» ГЛАВНАЯ РЕДАКЦИЯ ФИЗИКО-МАТЕМАТИЧЕСКОЙ ЛИТЕРАТУРЫ 199 1 ББК 22. 18 К73 УДК 519. 681 Котов В. Е. , Сабельфельд В. К. Теория схем программ. — М. : Наука. Гл. ред. физ. -мат. лит. , 1991. —248 с—ISBN 5-02-013974-2. Проведено систематизированное изложение раздела теоретического программирования, изучающего неинтерпретированные модели программ — их схемы, отражающие структурные особенности программ и в определенной мере абстрагирующиеся от их функциональной сущности. Излагается теория схем программ, являющаяся математической базой для развития методов трансляции программ и создания новых конструкций в языках программирования. Для специалистов в области информатики и прикладной математики. Ил. 61. Библиогр. 142 назв. Научное издание КОТОВ Вадим Евгеньевич САБЕЛЬФЕЛЬД Виктор Карлович ТЕОРИЯ СХЕМ ПРОГРАММ Заведующий редакцией Е. Ю. А. Слепнева, Т. В. Шароватова Художественный редактор 7. Н. Кольченко Технический редактор Е. В. Морозова Корректоры: Ю. В. Трушкова, Е. Б. Тихонова ИБ № 32356 Сдано и набор 06. 06. 89. Подписано к печати 20. 03. 9i. Формат 60x90'/». Бумага тип. J* 2. Гарнитура обыкновенная. Печать высокая. Уел печ. л. 15,5. Усл. кр. -отт. 15,75. Уч. -изд. л. 18,08. Тираж 7250 аиа. Зак. 468. Цена 4 р. 80 к. Издательско-производственное и иниготорговое объединение «Наука» Главная редакция физико-математической литературы 117071 Москва В-71, Ленинский проспект, 15 Вторая типография издательства «Наука» 121099 Москва Г-99, Шубинский пер. , 6 1404000000—054 053(02)-91 115"91 ©«Наука». Физматлит, 1991 I SBN 5-02-013974-2 Памяти нашего учителя АНДРЕЯ ПЕТРОВИЧА ЕРШОВА посвящается ПРЕДИСЛОВИЕ В развитии практики программирования для ЭВМ сложилась парадоксальная ситуация. С одной стороны, благодаря впечатляющим успехам развития вычислительной техники сегодня мы располагаем ЭВМ, которые работают быстрее первых серийных машин начала 50-х гг. в сотни тысяч и миллионы раз. Это означает, что мы располагаем мощным инструментом, «усиливающим» человеческий интеллект и позволяющим автоматизировать решение широкого круга задач. Парадокс, однако, заключается в том, что средняя производительность труда программистов за это время выросла всего лишь в десятки раз, а для системных программистов не выросла даже на порядок. Несмотря на появление языков высокого уровня, мощных операционных систем и «интеллектуальных» устройств общения, программисту все еще приходится тратить много времени и усилий на рутинную работу на длинном пути от математической постановки задачи до получения окончательных результатов. Не получится ли так, что профессия программиста станет в будущем преобладающей в человеческом обществе? Неизбежный путь преодоления возникающих проблем — это всесторонняя автоматизация самого процесса программирования. Многое в этом направлении уже сделано. Но для того, чтобы радикально решить проблему автоматизации любой сферы человеческой деятельности, необходимо выделить ее основные компоненты, понять ее структуру и фундаментальные законы.