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