Логика в языке RSL

Остановимся более подробно на вычислении логических выражений в языке

RSL, поскольку принятая в языке логика имеет некоторую специфику по

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

непредсказуемого (хаотичного) поведения программы во время выполнения,

возникающего в результате какого-либо отказа в программе и приводящего к

ситуации, когда вычисление значения какого-либо выражения может не

завершиться. chaos не принадлежит ни к одному из типов RSL и в

выражениях может появляться в позициях, предусмотренных для значений

различных типов. Например, chaos может встречаться как вместо вхождения

значений типа Bool, так и вместо типа Int. В RSL принята сокращенная

схема вычисления логических выражений, т.е. если значение всего выражения полностью определяется значением его первого операнда, то вычисление второго операнда не производится.

Ниже приводятся таблицы истинности (с учетом chaos) для основных логических операций. Левая колонка соответствует первому операнду, верхняя строка – второму операнду.

Дата добавления: 2015-08-13