Синтаксис языка ПЯК

Выражения

Команды

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

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

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

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

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

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

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

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

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