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

/0: ЕСЛИ 5 = ( ) ТО НА1е проверка стека S на наличие в нем вершин дерева X. /,: (Г, 5): = (голова (S), хвост (5)) выбор головы голова (S) и хвоста хвост (S) стека S и помещение их в Г и 5 соответственно. /2: ЕСЛИТ=0ТОНА1О проверка переменной дерева на отсутствие в нем вершин. /3: С: = С + 1 Увеличение счетчика на 1. /4: 5: = левое [Т) правое {Т) S Помещение левого и правого поддеревьев в стек S. /5: НА /0 /; СТОП. Здесь Т — переменная дерева; S — стек, содержащий вначале дерево X, состоящее из поддеревьев; голова (S) — взятие головы стека 5; хвост (S) — взятие хвоста стека 5; левое (Т) — дает левое поддерево; правое{Т) — дает правое поддерево. Определяя \Т\ как число вершин в дереве Т, можем выразить утверждение частичной корректности: N и[в_месте (1е) з С = |л1]. Начальные условия, соответствующие допустимому вычислению для этого случая, имеют вид