А. П. Ершов,
член-корреспондент АН СССР
ТЕОРИЯ
ПРОГРАММИРОВАН
И ВЫЧИСЛИТЕЛЬНЬ
СИСТЕМЫ
ИЗДАТЕЛЬСТВО «ЗНАНИЕ»
МОСКВА 1972
Ершов Андрей Петрович
Е80 Теория программирования и вычислительные
системы. М. , «Знание», 1972
64 стр. (Новое в жизни, науке и технике). Серия «Математика,
кибернетика», 6. В брошюре приведен обзор основного раздела теоретического
программирования — теории схем программ, обсуждается
фундаментальная задача теории программирования и анализируются основные
теории параллельного программирования. В качестве вывода
высказывается гипотеза о целесообразной структуре ЭВМ четвертого
поколения. В заключительной главе изложен подход к реализации
алгоритмических языков нового поколения — Алгола 68, ПЛ/1, Симулы 67.
. Брошюра рассчитана на широкий круг читателей, занимающихся
программированием и интересующихся перспективами его развития.
3—3-14 6ф7.
а
ВВЕДЕНИЕ
/
Изучая некоторую техническую дисциплину, связанную с тем
или иным видом созидательной деятельности человека, обычно
различают теорию и технологию изучаемой деятельности. Теория
исследует фундаментальные компоненты явлений и предметов,
вовлекаемых в этот вид деятельности, рассматривая их в связи
с общими законами природы и их математическим выражением. Технология, опираясь на доставляемые теорией сведения, берет
те же компоненты в связи с конечным результатом изучаемой
деятельности, придавая ей характер устойчивого,
целеустремленного и эффективного процесса. Теория и технология развиваются каждая по своим законам
и часто — до поры до времени — независимо друг от друга. Технология возникает сначала как совокупность эмпирических
наблюдений и рецептурных приемов; теория рождается иногда
на базе спекулятивных идей, случайных гипотез и слишком
грубых моделей и не оказывает поначалу никакого влияния
на технологию, в свою очередь, не получая от нее достаточной
пищи для размышлений. Иногда разрыв между теорией и
технологией затягивается во времени просто потому, что этими
разделами занимаются разные люди с разными
«интеллектуальными биографиями». Однако в развитии неизбежно наступает
момент, когда наука и техника объединяются, взаимно
оплодотворяя друг друга, после чего в данной отрасли техники
наступает бурный прогресс, который быстро превращает молодую
техническую дисциплину в зрелую и развитую промышленную
отрасль, эффективно обслуживающую человечество в течение
долгого времени. В качестве примера таких видов человеческой
деятельности, где достигнута гармоничная и плодотворная связь
теории и технологии, автор мог бы назвать авиацию, некоторые
виды машиностроения, электротехнику и энергетику. Программирование для электронных вычислительных ма*
1*
3
шин (ЭВМ), которому, как и самим ЭВМ, недавно минуло 25 лет,
уже в недалеком будущем станет одним из массовых видов
человеческой деятельности, притом не только профессиональной. В настоящее время, однако, невзирая на свое бурное развитие
и популярность, программирование еще далеко от того, чтобы
называться зрелой наукой или тщательно разработанной и
стабильной технологией.