Программирование. Языки программирования высокого уровня

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

Программа - алгоритм, записанный на "понятном" компьютеру (процессору) языке.

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

Языки программирования бывают низкого уровня и высокого уровня.

К языкам программирования низкого уровня относят Ассемблер, оперирующий машинными кодами.

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

С помощью языка программирования создается не готовая программа, а только ее текст, описывающий ранее составленный алгоритм. Чтобы получить готовую работающую программу нужно этот текст перевести в машинные коды (для этого служат специальные программы - компиляторы и программы - интерпретаторы).

На заре компьютерной эры, в 50-е годы XX века, программы писались на машинном языке. Составление и отладка таких программ было чрезвычайно трудоемким делом (например, Ассемблер- язык программирования низкого уровня).

В 60-70-е годы начали создаваться языки программирования высокого уровня, формальные языки, кодирующие алгоритмы в привычном для человека виде (в виде предложений). Такие языки программирования строились на основе использования определенного алфавита и строгих правил построения предложений (синтаксиса).

Наиболее широко распространенным типом языков программирования высокого уровня являются процедурные языки - Бейсик, Паскаль, Си. В таких языках широко используются управляющие конструкции (операторы), которые позволяют закодировать различные алгоритмические структуры (линейную, ветвление, цикл).

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

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