Лекция: Синтаксис языка ПЯК

Выражения

Команды

Целочисленные выражения

Логические выражения

Вспомогательные определения:

— множество целых чисел;

— множество логических значений;

— постоянное бесконечное множество символов, чьи элементы называются адресами (или программными переменными), так как они используются для хранения целых чисел; целочисленное выражение обозначает значение, которое содержится по адресу (или которое имеет переменная );

— постоянное конечное множество целочисленных бинарных операций;

— постоянное конечное множество логических бинарных операций.

ПЯК является довольно простым для описания языком. Реализация числовых алгоритмов с помощью этого языка основывается на управлении изменением состояний. В этом контексте мы можем считать, что состояние инкапсулирует конечное число адресов (регистров), в которых хранятся целые числа. Целочисленные и логические выражения описывают целые и логические значения, независящие от состояния. Команды ПЯК описывают операции изменения состояний.