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

Предположим, что 0°=1. Необходимо показать корректность этой программы, т.е. что она действительно вычисляет указанную степень. Граф переходов этой программы представлен на рис. 9.7. Тогда программными аксиомами, полученными по модельной аксиоме для каждого перехода программы, будут следующие: Л/о: в_месте (/0) л -. Начать о [вместе (/0 = переход (-i Начать, /0)) л л у = и л и = (х,, х2, 1) л х,*2 = уъ ур], 214 9.9. Доказательство свойств корректности М,: в_месте (/0)л Начать^ {вместе (/, = переход (Начать, /0))л л у = и л и = (хр х2, 1) л х,^ = >>з >>/2], Л/2: [в_месте (/, ) л >-2 = 0 л у = и ] =э [в_л»ес/ие (/2 = переход (у2 = О, /,)) л