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

М: [вместе (/) л с(у) л у = и] => \в_месте (Г = переход (с(у), 1)) л л j> =Л«) л/<*)= Она гласит: если процесс находится в активном месте / (истинен предикат в_месте (/)) и истинно условие перехода с(у), а текущее значение переменных набора у есть и, то он переходит в место /', если значение условия с(у) истинно. В месте /' выполняется присвоение переменным набора у значений переменных набора/(и) и вычисляется (конкретизируется)^ (х) =f2 (у). Из этой аксиомы видно, что проверка условия с(у) выступает здесь в роли действия, в результате которого осуществляется переход в место /'. 9.9.2. Программные аксиомы Рассмотрим программу возведения в целую степень Xj > 0 действительного числа х,, т.е. программу вычисления х{2. Эта программа имеет три места /0, /,, /2. Место /0 является начальным и до начала вычисления истинно действие -1 Начать. Вычисление начинается в результате выполнения действия Начать.