1963
43. Теория алгорифмов и вопросы алгебры, Тр. 4-го Всесоюзного ма-
тем. съезда
1
(1963), 198.
1968
44. О бесконечных периодических группах. I, Изв. АН, сер. матем.
32
:1, 212
–
244 (совм. с С.И. Адяном).
45. О бесконечных периодических группах. II, Изв. АН, сер. матем.
32
:2, 251
–
524 (совм. с С.И. Адяном).
46. О бесконечных периодических группах. III, Изв. АН, сер. матем.
32
:3, 709
–
731 (совм. с С.И. Адяном).
47. Определяющие соотношения и проблема тождества для свобод-
ных периодических групп нечётного порядка, Изв. АН, сер. ма-
тем.
32
:4, 971
–
979 (совм. с С.И. Адяном).
48. О коммутативных подгруппах и проблеме сопряженности в сво-
бодных периодических группах нечётного порядка, Изв. АН, сер.
матем.
32
:5, 1176
–
1190 (совм. с С.И. Адяном).
117
Отзыв о научной деятельности А.П. Ершова
ОТЗЫВ О НАУЧНОЙ ДЕЯТЕЛЬНОСТИ
А.П. ЕРШОВА*
Доктор физико-математических наук А.П. Ершов является од-
ним из пионеров и основных научных руководителей работ по ав-
томатизации программирования, ведущихся в нашем Союзе. Он
является крупным специалистом в вопросах программирования
как теоретического, так и прикладного направления и оказывает
большое влияние на методы использования вычислительных ма-
шин в нашей стране. Круг его научных интересов простирается от
вопросов теоретико-алгоритмического характера, связанных с раз-
работкой специальных языков для описания широких классов ал-
горитмов до создания систем, функционирующих в режиме разде-
ления времени. Последние системы рассчитаны на существенное
облегчение взаимодействия человека с вычислительными машина-
ми и на увеличение производительности вычислительных машин
большой мощности.
Основные работы А.П. Ершова можно подразделить на 4 цикла:
1. Работы по теоретическим вопросам программирования.
2. Работы по созданию языков программирования и разработ-
ке методов автоматизации программирования.
3. Работы по созданию систем коллективного пользования.
4. Создание руководств и учебных пособий по методам про-
граммирования, в частности, по использованию языков програм-
мирования.
Кроме того, следует отметить большую научно-педагогическую
работу в области программирования, весьма значительную научно-
организационную работу, относящуюся к области программирова-
ния и эксплуатации вычислительных машин не только в масштабах
нашей страны, но и на международной арене, так как А.П. Ершов
является официальным представителем нашей страны в рабочей
группе ИФИП по АЛГОЛу. Наконец, А.П. Ершову принадлежит
ряд работ научно-популярного характера высокого уровня. В даль-
* Машинопись. Научный архив академика А.П. Ершова в ИСИ СО
РАН. Папка 389, листы 90
–
95, 1972.
118
II. А.А. ЛЯПУНОВ О СВОИХ УЧИТЕЛЯХ, СОРАТНИКАХ, УЧЕНИКАХ
нейшем я остановлюсь на научных работах А.П. Ершова, относя-
щихся к четырем вышеуказанным циклам.
Теоретические работы А.П. Ершова относятся к выяснению
логико-алгоритмического аспекта процесса программирования. Им
построена общая система понятий, которая позволяет вложить
программирование в рамки общей теории алгоритмов, в частности,
им показано, что средства, используемые в программировании,
ока зываются универсальными в рамках общей теории алгоритмов.
Кро ме того, им усовершенствованы методы преобразования логи-
ческих схем программ, которые были разработаны впервые
Ю.И.
Яновым, причём, из чисто теоретической концепции
Ю.И. Яно ва А.П. Ершов сумел построить некоторый аппарат, при-
годный для использования при автоматизации программирования.
Наконец, А.П. Ершовым проведен глубокий теоретический
анализ процесса экономии памяти при программировании. Сведя
эту задачу к известной задаче о раскраске графа, он выработал
приближённые методы её решения, которые во многих случаях
оказываются весьма эффективными, и довёл их до возможности
использования при автоматическом программировании.
Теоретические исследования А.П. Ершова органически связа-
ны с запросами организации программирования.
Второй цикл работ А.П. Ершова рассчитан на практическое
использование. Первым этапом было построение работоспособной
программирующей программы для машины БЭСМ. Эта программи-
рующая программа была создана приблизительно одновременно с
программирующей программой, разработанной в ИПМ под руко-
водством М.Р. Шура-Буры.
После ряда работ по усовершенствованию программирующей
программы, рассчитанных на увеличение её возможностей, А.П. Ер-
шов взялся за работу над языком программирования АЛГОЛ.
С груп
пой сотрудников на базе АЛГОЛа 60 он построил язык
АЛЬФА. Для этого языка под руководством А.П. Ершова был соз-
дан транслятор, который очень широко применяется в нашем Сою-
зе большим числом организаций, эксплуатирующих вычислитель-
ные машины. В настоящее время имеется значительное число
трансляторов с разных языков программирования, в особенности с
языков типа АЛГОЛа. Однако транслятор А.П. Ершова существен-
но отличается от других. А.П. Ершов поставил перед собой задачу
не только построения практически работающей системы програм-
мирования на базе языка АЛГОЛ, но ещё предъявил требования к
этой системе, чтобы она давала программы экономически выгод-
ные для вычислительных задач не слишком большой сложности.
119
Отзыв о научной деятельности А.П. Ершова
Эти требования можно уточнить следующим образом. Для доста-
точно разнообразных практически встречающихся вычислительных
задач система автоматического программирования должна давать
программы, которые как по загрузке памяти, так и по времени ра-
боты машины, должны выдерживать сравнение с теми программа-
ми, которые строит квалифицированный программист. Для дости-
жения этой цели А.П. Ершову пришлось проявить высокую сте-
пень математической изобретательности. Здесь ему существенно
помогли результаты его же собственных работ.
Построенный под его руководством группой его учеников
транслятор функционирует следующим образом. На первом этапе
алгоритм, подлежащий программированию, транслируется с вход-
ного языка на некоторый внутренний язык, весьма простой струк-
туры, но сохраняющий почти всю информацию об исходной про-
грамме. Затем к полученной записи алгоритма применяются
некоторые преобразования, позволяющие оптимизировать машин-
ную программу. Эти преобразования весьма различны и включают
в себя как узко специализированные, так и общие. Стратегия при-
менения и набор этих преобразований были разработаны А.П. Ер-
шовым. Такое построение транслятора приводит к тому, что окон-
чательная программа обладает значительно лучшей структурой,
чем программы, которые строят более примитивные трансляторы.
Специальное сопоставление показало, что как по загрузке памяти,
так и по времени работы машины, эти программы лишь на 10
–
15 %
уступают тем, которые строятся квалифицированными програм-
мистами. При этом необходимо отметить, что программирование
вычислительных задач на языке АЛЬФА неизмеримо проще, чем
программирование впрямую. Выигрыш, который происходит за
счет облегчения программирования и упрощения подготовки про-
граммистов при использовании языка АЛЬФА оказывается весьма
значительным. Он на порядок перекрывает тот выигрыш, который
получается за счет структуры программы. В настоящее время под
руководством А.П. Ершова, в основном на тех же принципах, раз-
рабатывается целый ряд систем программирования для задач дру-
гого типа
–
логических, справочно-информационных, администра-
тивных. В этой области А.П. Ершов создал свое значительное
научное направление, квалифицированный научный коллектив и
добился результатов выдающегося практического значения.
Третий цикл работ А.П. Ершова относится к созданию систе-
мы коллективного пользования (АИСТ). В этой системе использу-
ются машины М-20 и Минск-22. С последней связано большое
количество внешних устройств, располагающихся у абонентов сис-
120
II. А.А. ЛЯПУНОВ О СВОИХ УЧИТЕЛЯХ, СОРАТНИКАХ, УЧЕНИКАХ
темы. Принцип работы системы следующий. Потребители с помо-
щью внешних устройств общаются с системой, вводят туда про-
граммы и исходные данные. Машина Минск-22 проводит первич-
ную обработку всего этого материала, а затем передаёт его в М-220,
которая проводит основную работу и выдаёт нужные результаты
абоненту через внешние устройства. Смысл создания системы в
том, что благодаря ей эффективность работы М-220 будет сильно
повышена, так как режим ввода программы и ввода данных в эту
машину и режим всех вспомогательных операций станет более вы-
годным. В настоящее время теоретическая разработка, которой ру-
ководил А.П. Ершов, выполнена, и система находится в стадии
осуществления. Одновременно ведётся теоретическая разработка
ещё более мощной системы, предназначенной для обслуживания
значительно большего количества абонентов, в том числе произ-
водственных предприятий. Для этих систем машин коллектив, ру-
ководимый А.П. Ершовым, разрабатывает также специальные сис-
темы программирования.
Четвёртый цикл работ А.П. Ершова складывается из того, что
для каждого завершённого этапа работ по транслятору или по ма-
шинным системам немедленно создаются специальные учебные
пособия, которые позволяют потребителям полноценным образом
использовать созданную систему. Таким образом, вся научная дея-
тельность А.П. Ершова в целом ориентирована на то, чтобы сущест-
венным образом повысить качество эксплуатации вычислительных
машин и производительность вычислительных центров. В этом на-
правлении им достигнуто весьма многое. Его деятельность оказы-
вает существенное влияние на многие коллективы, работающие с
вычислительными машинами, а также на коллективы, проектиру-
ющие машины.
А.П. Ершов имеет широкое научное признание, как в нашем
Союзе, так и за границей. Он является членом нескольких между-
народных организаций по программированию. Многие его работы
переведены на иностранные языки и опубликованы за границей.
Всё изложенное говорит о том, что А.П. Ершов является выда-
ющимся учёным, крупным специалистом в области вычислитель-
ной математики и кибернетики.
Я считаю, что А.П. Ершов заслуживает избрания в члены-кор-
респонденты АН СССР по отделению математики как специалист
в области вычислительной математики и кибернетики.
121
О работах П.С. Новикова в области дескриптивной теории множеств
Do'stlaringiz bilan baham: |