Питер Наур

Питер Наур — датский учёный в области информатики, один из пионеров программирования, соавтор концепции языков программирования высокого уровня и ключевой участник разработки языка ALGOL 60. Наиболее известен как автор термина «Бэкуса — Наура форма» (БНФ) — нотации для описания синтаксиса формальных языков, а также как создатель одного из первых компиляторов с языка ALGOL.

Биография

Ранние годы и образование

Питер Наур родился 25 октября 1928 года в Фредериксберге (Дания). В 1947 году поступил в Копенгагенский университет, где изучал астрономию, физику и математику. В 1950 году получил степень магистра астрономии. В 1951–1952 годах работал в Кембриджском университете (Великобритания) под руководством Джона фон Неймана, где занимался вычислениями в области звёздной динамики. Именно там он впервые столкнулся с программированием на электронно-вычислительных машинах EDSAC и EDVAC.

Карьера

В 1952 году Наур вернулся в Данию и устроился в компанию «Regnecentralen» — первую датскую фирму по производству компьютеров. В 1954 году он разработал компилятор для языка программирования ALGOL 58, а затем участвовал в международной работе по созданию ALGOL 60. В 1960 году Наур стал соавтором «Пересмотренного отчёта об алгоритмическом языке ALGOL 60», который заложил основы современного структурного программирования.

В 1969 году Наур перешёл в Копенгагенский университет, где основал кафедру информатики (Datalogisk Institut). В 1970-е годы он сосредоточился на теоретической информатике, особенно на семантике языков программирования и методологии разработки программного обеспечения. В 1975 году опубликовал книгу «Concise Survey of Computer Methods» («Краткий обзор компьютерных методов»), ставшую классическим учебником.

В 1980-е годы Наур активно занимался философией информатики, разрабатывая концепцию «программирования как человеческой деятельности». В 1985 году он получил премию Тьюринга за фундаментальный вклад в области языков программирования, методологии разработки и теории вычислений.

Последние годы

Питер Наур ушёл из жизни 3 января 2016 года в возрасте 87 лет. До конца жизни он оставался активным участником научных сообществ, публикуя статьи по философии информатики и истории вычислительной техники.

Основные достижения

Форма Бэкуса — Наура (БНФ)

Самое известное достижение Наура — разработка в 1960 году нотации для формального описания синтаксиса языков программирования, названной позже формой Бэкуса — Наура (БНФ). Изначально она была создана для описания синтаксиса ALGOL 60. БНФ использует метасимволы (например, ::= для определения, | для альтернатив) и позволяет задавать контекстно-свободные грамматики. Эта нотация стала стандартом в информатике и применяется для описания синтаксиса большинства современных языков программирования (Pascal, C, Java, Python и др.).

ALGOL 60

Наур был одним из главных редакторов «Пересмотренного отчёта об алгоритмическом языке ALGOL 60» (1960). Этот язык ввёл множество ключевых концепций: блочную структуру, рекурсию, динамические массивы, формальное описание синтаксиса. ALGOL 60 стал основой для последующих языков (Pascal, C, Ada) и оказал огромное влияние на развитие программирования.

Компилятор ALGOL для Gier

В 1961 году Наур разработал один из первых в мире компиляторов с ALGOL 60 для датского компьютера «Gier». Этот компилятор был написан на самом ALGOL (самокомпилируемый) и содержал оптимизации, опередившие своё время, включая автоматическое управление памятью и обработку рекурсивных вызовов.

Методология разработки программного обеспечения

В 1970-е годы Наур предложил подход «программирование как человеческая деятельность», акцентирующий внимание на психологических и социальных аспектах разработки ПО. Он критиковал формальные методы, настаивая на том, что программирование — это творческий процесс, требующий понимания контекста и взаимодействия с пользователями.

Влияние и признание

Награды

• Премия Тьюринга (1985) — за фундаментальный вклад в развитие языков программирования, методологии разработки и теории вычислений.
• Премия ACM (1986) — за вклад в информатику.
• Медаль Джона фон Неймана (1994) — от IEEE за вклад в компьютерные науки.
• Почётный доктор нескольких университетов, включая Копенгагенский и Уппсальский.

Наследие

Имя Наура увековечено в терминах «форма Бэкуса — Наура» и «нотация Наура». Его работы по ALGOL 60 и компиляторам стали основой для учебных курсов по информатике во всём мире. В Дании он считается основателем национальной школы информатики.

Критика и полемика

Несмотря на признание, Наур подвергался критике за чрезмерный акцент на формальных методах в ранние годы. В поздних работах он сам признавал, что формализм не может полностью описать сложность реальных программных систем. Некоторые исследователи отмечали, что его философские взгляды (например, «программирование как искусство») противоречат инженерному подходу, доминирующему в индустрии.

Интересные факты

• Наур был не только учёным, но и талантливым музыкантом — играл на виолончели и участвовал в любительских оркестрах.
• Он отказался от предложения работать в IBM, предпочтя остаться в Дании и развивать национальную компьютерную индустрию.
• В 1960-е годы Наур активно участвовал в создании первого датского суперкомпьютера «Gier» и написал для него операционную систему.

Источники

• Naur, P. (1960). «Revised Report on the Algorithmic Language ALGOL 60». Communications of the ACM.
• Naur, P. (1975). «Concise Survey of Computer Methods». Studentlitteratur.
• ACM Turing Award Lectures (1985). «The European Side of the Last Revolution».
• IEEE Annals of the History of Computing (2016). «Peter Naur: A Pioneer of Computing».
• Официальный сайт Копенгагенского университета (раздел истории информатики).