Ада Лавлейс, дочь великого английского поэта Джорджа Гордона Байрона иАннабеллы Байрон, заложила научные основы программирования навычислительных машинах за столетие до того, как стала развиваться этанаука. В 1841 году Лавлейс занялась переводом статьи Менабреа о машинеЧарльза Бэббиджа. Скромные по названию «Примечания переводчика» болеечем вдвое превышают текст переведенной статьи (статья Менабреа занимает 20 страниц, а примечания 50). В примечаниях Лавлейс указывает, что аналитическая машинапредставляет собой воплощение науки об операциях и сконструированаспециально для действий над абстрактными числами как объектами этихопераций; рассматривает запоминающие устройства (склад) аналитическоймашины как оперативное устройство, позволяющее записывать, стирать, хранить и извлекать любые числа, над которыми можно произвести любуюпоследовательность арифметических операций, причем на всех этапахсохранять промежуточные результаты вычислений. Также приведена программамашинного решения системы двух линейных уравнений с двумя неизвестными. Лавлейс впервые применяет термин «рабочая переменная», эквивалентныйсовременному «рабочая ячейка» . Эти виды рабочих ячеек выделяются и в современных руководствах попрограммированию. Лавлейс предлагает при выполнеии операции сложения еерезультат записывать на ту же ячейку памяти, где до этого хранилось одноиз слагаемых (делается для экономии памяти). Лавлейс впервые вводитпонятие цикла операций, а также понятие цикла циклов. Машина рассматривается не как устройство, заменяющее человека, а какустройство, способное выполнять работу, превышающую практическиевозможности человека. В заключительном примечании дана программа вычисления чиселБернулли, в которой Лавлейс продемонстрировала возможностьпрограммирования на аналитической машине. Немалое значение для истории науки представляет вопрос: насколькоточно и удачно Лавлейс реализовала свою идею составление машиннойпрограммы для решения сравнительно сложной задачи? Проверить вручнуюподобную программу весьма затруднительно желателен практическийэксперимент на ЭВМ. Такой эксперимент был проведен в ССР в 1978 году намашине БЭСМ-6. Текст программы был закодирован на языкепрограммирования Фортран в Дубне, отладка программы выявила одну ошибку иодну опечатку. И это вполне понятно, так как написать подобную работубез проверки на компьютере и без ошибок невозможно. Еще один важныйпункт программа Лавлейс обеспечивает экономию памяти. Мнение Лавлейс о принципиальных возможностях аналитической машины: Аналитическая машина не претендует на то, чтобы создавать что-тодействительно новое. Машина может выполнить все то, что мы умеем ейпредписать. Она может следовать анализу. Но она не может предугадатькакие-либо аналитические зависимости или истины. Функции машинызаключаются в том, чтобы помочь нам получить то, с чем мы уже знакомы. Это высказывание сделано в конце девятнадцатого века, когда не былоникаких компьютеров, но даже сегодня по этому вопросу мы остались на томже уровне: компьютеры выполняют написанные программы, но не создаютничего нового. Пока никто не смог создать ЭВМ и программное обеспечениедля нее, которое обладало бы творческими возможностями. Однако широкораспространились программы с «псевдоинтеллектом», но это результат лишьхорошо продуманного алгоритма. Основной итог ее работы создание основ программирования на универсальных цифровых вычислительных машинах. В память об Аде Лавлейс назан разработанный в 1980 году язык АДА один универсальных языков программирования.
