Знание-сила, 2002 № 12 (906)

По просьбе Бэбиджа, Ада занялась переводом очерка итальянского военного инженера Луи Фредерико Менабреа, в будущем профессора механики Туринского университета, одного из лидеров борьбы за объединение Италии, с 1867 года – ее премьер-министра и министра иностранных дел. Менабреа в 1840 году, слушая в Турине лекции Бэбиджа, подробно записал их и в своем очерке впервые дал полное описание аналитической машины Бэбиджа и его идей программирования вычислений. Он писал: «Сам процесс вычисления осуществляется с помощью алгебраических формул, записанных на перфорированных картах, аналогичных тем, что используются в ткацких станках Жаккарда. Вся умственная работа сводится к написанию формул, пригодных для вычислений, производимых машиной, и неких простых указаний, в какой последовательности эти вычисления должны производиться».

Леди Лавлейс не просто перевела очерк Менабреа, но и снабдила его обширными комментариями, которые в сумме почти втрое превысили объем оригинального текста. Все комментарии, их общая структура и содержание подробно обсуждались и согласовывались с Бэбиджем. Известный своей нетерпимостью к чужому мнению Бэбидж, тем не менее, был в восторге от оригинальных проработок своей ученицы: «Чем больше я читаю Ваши примечания, тем более поражаюсь Вашей интуиции… Мне не хочется расставаться с Вашим превосходным философским рассмотрением моей аналитической машины».

Книга Менабреа с комментариями, подписанными инициалами A.A.L. (Ada Augusta Lovelace), вышла в свет в августе 1843 года. Отдавая должное обоим авторам, Бэбидж писал: «Совокупность этих работ (Менабреа и Лавлейс) представляет для тех, кто способен следовать ходу их рассуждений, наглядную демонстрацию того, что практически любые операции математического анализа могут быть выполнены с помощью машины». При этом Бэбидж так до конца и не примирился с концепцией Ады, которую впоследствии Тьюринг именовал шестым постулатом противников идеи мыслящей машины: «Аналитическая машина не претендует на то, чтобы создавать что-то действительно новое. Машина может выполнять лишь то, что мы умеем ей предписать».

В комментариях Лавлейс были приведены три первые в мире вычислительные программы, составленные ею для машины Бэбиджа. Самая простая из них и наиболее подробно описанная – программа решения системы двух линейных алгебраических уравнений с двумя неизвестными. При разборе этой программы было впервые введено понятие рабочих ячеек (рабочих переменных) и использована идея последовательного изменения их содержания. От этой идеи остается один шаг до оператора присвоения – одной из основополагающих конструкций всех языков программирования. Вторая программа была составлена для вычисления значений тригонометрической функции с многократным повторением заданной последовательности вычислительных операций; для этой процедуры Лавлейс ввела понятие цикла – одной из базовых конструкций структурного программирования. В третьей программе, предназначенной для вычисления чисел Бернулли, были использованы вполне современные расчетные методы. В своих комментариях Лавлейс высказала также великолепную догадку о том, что вычислительные операции могут выполняться не только с числами, но и с другими объектами, без чего вычислительные машины так бы и остались всего лишь мошными быстродействующими калькуляторами.

После завершения работы над переводом и комментариями Ада предложила Бэбиджу, что она будет консультировать лиц, заинтересованных в использовании вычислительных машин, то есть, пользуясь сегодняшней терминологией, возьмет на себя функции customer support, дабы Бэбидж не отвлекался от основной работы по доведению своей аналитической машины.

Но время для вычислительных машин еще не пришло, толпы пользователей не спешили получить консультацию у леди Лавлейс, более того – в 1842 году правительство Британии отказало Бэбиджу в финансовой поддержке его разработок. Бэбидж был готов на все, чтобы раздобыть необходимые деньги.