рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

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

Синтаксис языка ПЯК - раздел Компьютеры, Целью работы является практическое изучение процесса спецификации программы с помощью операционной семантики. Выражения ...

Выражения

Команды

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

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

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

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

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

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

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

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

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

– Конец работы –

Эта тема принадлежит разделу:

Целью работы является практическое изучение процесса спецификации программы с помощью операционной семантики.

На сайте allrefs.net читайте: Целью работы является практическое изучение процесса спецификации программы с помощью операционной семантики....

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Синтаксис языка ПЯК

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Теоретические сведения
Формализацией семантики языка называется процесс отображения его конструкций на некоторую смысловую область, элементы которой определяют значение высказываний языка. В зависимости от целей формализ

Система переходов
Система переходов имеет две составляющие – множество конфигураций (состояний) и бинарное отношение

Абстрактная машина
Исторически, первый подход к выработке математически строгой операционной семантики программных языков был реализован в терминах абстрактной машины – системы переходов, определяющей интерпретатор я

SMC-машина
Конфигурация Управляющий стек Сте

Команды
Пропуск Присваивание Присвоить(3)

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги