Искусственный интеллект

ЁZ,(x, J/,I)DDA (в_месте (/) =>а ). Конъюнкция берется по всем потенциально опасным местам программы. Пример. Программа должна давать только целые числа в течение всего времени вычисления. Тогда условие чистого поведения для программы вычисления факториала в месте /,, являющемся критическим, будет следующим: Ё (х > 0) => П[в_месте (/,) з О, > 0)]. Пример. Если программа деление содержит команду /: ЕСЛИ *l\> y3 TO JV = (S[i\ * у2), где ^— оператор целого деления и изменение индекса / массива S лежит в пределах от 1 до л, то условие чистого поведения в месте /будет следующим: N п{[в_месте (/) л О, > ^2)1 => [(1 < / < я) л (у2 * 0)]} .