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