1. Язык программирования. Общие принципы построения и использования языков программирования.

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

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

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

Язы́к программи́рования — формальная знаковая система, предназначенная для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, задающих внешний вид программы и действия, которые выполнит исполнитель (компьютер) под её управлением.

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

Основной принцип: Чем выше уровень абстракции, тем больше деталей скрыто от программиста. Но в то же время снижается детализация реализация.

2. Стандарты языков программирования.

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

Для многих широко распространённых языков программирования созданы международные стандарты. Специальные организации проводят регулярное обновление и публикацию спецификаций и формальных определений соответствующего языка. В рамках таких комитетов продолжается разработка и модернизация языков программирования и решаются вопросы о расширении или поддержке уже существующих и новых языковых конструкций.

Стандарты языков программирования: 1. Частный стандарт Определяется командой разработчиков ЯП и имеет авторские права.

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

IEEE - международная некоммерческая ассоциация специалистов в области техники, мировой лидер в области разработки стандартов по радиоэлектронике и электротехнике.

3. Лямбда-исчисление. Аппликация, абстракция, редукция, преобразование.

Это простейший из семейства прототипных языков программирования, чистое λ-исчисление, термы которого, называемые также объектами (обами), или λ-термами, построены исключительно из переменных применением аппликации и абстракции. Изначально наличия каких-либо констант не предполагается.

Лямбда-исчисление: В основе лежит 2 операции: Аппликация: Означает применение или вызов функции по отношению к заданному значению )

где - алгоритм, вычисления по заданному входному значению

Абстракция: Строит функции по заданным выражением

Если это выражение свободно содержит х, тогда означает, что лямбда функция от аргумента х, которая имеет вид , означает функцию х->t[x] .

Редукция: Поскольку выражение обозначает функцию, ставящую в соответствие каждому значение , то для вычисления выражения

, в которое входят и аппликация и абстракция, необходимо выполнить подстановку числа 3 в терм вместо переменной . В результате получается . Это соображение в общем виде записывается как

.