3.2.2. Языки программирования

Язык программирования это совокупность символики, синтаксиса, семантики для задания алгоритмов. Символика или алфавит - набор используемых символов. Синтаксис - правила образования ключевых слов. Семантика - истолкование конструкций языка.

Система программирования - набор средств ввода, редактирования, трансляции и выполнения программ на компьютере. Технология программирования - технология составления, отладки и документирования программ на компьютере.

Языки программирования - языки записи программ для компьютеров и других программных устройств.

Виды языков: машинные, машиноориентированные, машинонезависимые или универсальные, проблемноориентированные.

Оператор - элемент программы высокого уровня, включающий несколько машинных команд.

Свойства программ: выполнимость, мобильность, правильность, эффективность.

Выполнимость - возможность обязательного получения результатов при различных исходных данных.

Мобильность - возможность использования программ в различных версиях и для различных компьютеров.

Правильность - гарантия получения правильных результатов.

Эффективность - использование наименьшего времени выполнения или наименьшего объема оперативной памяти.

Наиболее широкое применение нашли следующие языки программирования: Assembler, BASIC, Pascal, С, Prolog, Lisp, Modula, Fortran и другие.

Assembler - машиноориентированный язык для данного типа процессоров. Каждой машинной команде соответствует символьное обозначение языка. Применяется для разработки специального обеспечения: драйверов, обслуживающих программ, операционных систем и т.д. Может быть использован для создания вирусов и антивирусных программ.

BASIC (многоцелевой язык символических инструкций для начинающих) - диалоговый учебный язык. Он появился в 1965 году для обучения программированию американских космонавтов и студентов. Его отличает простота конструкций и возможность осуществления диалогового режима работы с компьютером. Это самый распространенный язык программирования.

C, Pascal - инструментальные языки программирования.

Lisp, Prolog - функциональные логические языки высокого уровня. Используются для исследований в области машинного интеллекта.

Fortran - первый универсальный алгоритмический язык программирования. Появился в 1955 году в США и предназначен для реализации численных расчетов на компьютере.

Компьютер работает только с машинными кодами, а не с программами на языках программирования. Для перевода программы с языка программирования в машинные коды используются специальные программы переводчики - трансляторы. Трансляторы бывают двух видов: компиляторы и интерпретаторы.

Компилятор преобразует подготовленную на зыке программирования программу в программу в машинных кодах.

Интерпретатор переводит программы, записанные на языке программирования в машинные коды в процессе их выполнения.

Программы, записанные на языке программирования, имеют меньший объем, их легко корректировать, но для исполнения их обязательно наличие компилятора и необходимо дополнительное время для трансляции. Программы в машинных кодах выполняются сразу, без трансляции, но занимают больше места в памяти и их трудно изменять.