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

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