Реферат Курсовая Конспект
Синтаксис языка ПЯК - раздел Компьютеры, Целью работы является практическое изучение процесса спецификации программы с помощью операционной семантики. Выражения ...
|
Выражения
Команды
Целочисленные выражения
Логические выражения
Вспомогательные определения:
- множество целых чисел;
- множество логических значений;
- постоянное бесконечное множество символов, чьи элементы называются адресами (или программными переменными), так как они используются для хранения целых чисел; целочисленное выражение обозначает значение, которое содержится по адресу (или которое имеет переменная );
- постоянное конечное множество целочисленных бинарных операций;
- постоянное конечное множество логических бинарных операций.
ПЯК является довольно простым для описания языком. Реализация числовых алгоритмов с помощью этого языка основывается на управлении изменением состояний. В этом контексте мы можем считать, что состояние инкапсулирует конечное число адресов (регистров), в которых хранятся целые числа. Целочисленные и логические выражения описывают целые и логические значения, независящие от состояния. Команды ПЯК описывают операции изменения состояний.
– Конец работы –
Эта тема принадлежит разделу:
На сайте allrefs.net читайте: Целью работы является практическое изучение процесса спецификации программы с помощью операционной семантики....
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Синтаксис языка ПЯК
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Твитнуть |
Новости и инфо для студентов