В процессе общения людей возник язык, которым мы пользуемся в своей обыденной речи и на котором пишутся книги. Но людям пришлось создать и искусственные языки, например логико-математические, применяющиеся в науке, языки международного общения — эсперанто, воляпюк и др. Особый интерес для нас представляет группа так называемых формальных языков, в которую входят логико-математические языки, языки описания алгоритмов и языки программирования, создаваемые с целью построения точных и однозначных формулировок. По словам советского ученого Н. Л. Криницкого, эти языки должны позволять «выводить из аксиом следствия не путем рассуждений, а с помощью операций, преобразующих символьные конструкции независимо от их смысла». Когда мы говорим о формальных языках, то имеем в виду универсальность и независимость выражений в этих языках от смысла описываемых процессов.Для создания и изучения подобных языков необходим математический аппарат. Вполне естественным явилось то, что выбор пал на теорию множеств. Действительно, язык содержит множество символов и знаков, объединенных в множества выражений. Основой языка является алфавит. Алфавитом называется произвольное множество попарно различимых символов, например а, б, в, я или яблоко, слива, вишня . Алфавит принято обозначать через V. Обычно участвуют какие-то характерные подмножества этого множества. Например, если мы начнем составлять слова из 4 букв, то сразу обнаружим, что слова, состоящие только из согласных, не имеют смысла. Таким образом, свод правил, определяющий подмножества V*. называется грамматикой.
Грамматика естественных языков — русского и иностранных — долго изучается в школьном курсе. Это и понятно, так как естественные языки очень сложны; в них отражается сущность человеческого разума. Попытки описать эти языки с помощью некоторого формального аппарата сегодня еще далеки от успеха. Но в сфере создания искусственных языков, особенно в приложениях к вычислительной технике, прогресс значительно заметнее. Но оценке академика А. II. Ершова, «число существующих языков программирования перевалило за несколько тысяч и, наверное, скоро будет сравнимо с количеством человеческих языков». Как быстро создавались и распространялись языки программирования, можно представить, если учесть, что к 1963 г. использовалось около 30 языков, к 1969 г.— 120, а приведенная оценка Ершова относится к середине 80-х гг.
Идеи программирования были заложены в середине прошлого века. В 1834 т. англичанин Чарльз Бэббидж после десятилетних поисков разработал так называемую аналитическую машину. Толчком для этого изобретения послужил успех француза Ж. Жаккара, впервые применившего перфокарты для автоматизации работы ткацкого станка. Позже принцип действия машины Жаккара применяли в механических пианино, телеграфных аппаратах. Но настоящая революционность этого изобретения связана все-таки с вычислительной техникой. На протяжении 150 лет перфокарты были основными носителями информации для различных вычислительных машин (только в 80-х гг. нашего века было объявлено о прекращении выпуска перфокарт). Но наиболее замечательным в этом изобретении было то, что впервые для управления каким-либо устройством использовались комбинации двух состояний: отверстие в карте или его отсутствие. Этот принцип управления был применен Бэббиджем в его машине, идеи которой стати фундаментом для дальнейшего развития ЭВМ. Поэтому иногда Ч. Бэббиджа называют «дедушкой» современных ЭВМ.
При участии Бэббиджа его ученица и помощница Ада Лавлейс — дочь поэта Байрона составила первые программы для решения систем двух уравнений и вычислений чисел Бернулли. «Аналитическая машина ткет алгебраические узоры» — так возвышенно воспринимала дочь поэта процесс вычислений. В 1843 г. она опубликовала конспект лекций своего учителя, где в виде комментария ввела основные принципы программирования аналитической машины, некоторые из которых используются и до сих пор. Но сам термин «программа» определился лишь 100 лет спустя.
Первую электронную машину ENIAC (Electronic Numerial Integrator and Calculator), созданную инженером Д. Эккертом и физиком Моучли в электротехническом колледже при Пенсильванском университете, эффективно использовать не удалось из-за большого числа ручных операций по ее управлению.
В 1945 г. американец Джон фон Нейман предложил команды управления и данные хранить в машинной памяти, тем самым создав более благоприятные условия для работы с машиной. Эти хранимые в быстродействующей памяти команды и получили название программы. Установленные Нейманом принципы определили основы ЭВМ на несколько десятилетий вперед, и время их еще не прошло. За этот неоценимый вклад Д. фон Неймана называют «отцом современных ЭВМ».
Вакансии в Могилеве : приглашаем квалифицированных программистов на высокооплачиваемую работу.