Команды skip и abort
2020-06-032021-03-09zzyxelСтудИзба
Команды skip и abort
Будем определять понятия в терминах wp.
wp(skip,R)=R
Информация в лекции "Тема 1 - Краткая характеристика ЧС мирного и военного времени" поможет Вам.
skip – ничего не делает, пустой оператор.
Пример: wp(skip,a>5)=a>5
wp(abort,R)=F
abort – команда несвоевременного завершения.
Если когда-либо выполнение программы достигает точки, когда должна выполняться команда abort, то, очевидно, что команда ошибочна и требуется аварийное завершение.
Пример: wp(abort,a=b)=False