Cтраница 2
Правила минимизации выполняются последовательно для вершин равного ранга, начиная с вершины первого ранга. При этом рассматриваются все возможные пары вершин равного ранга. [16]
Если 5-пвресечение BI и В2 не пусто, то соответствующее этому пересечению - подмножество операторов приписывается справа к В0 и вычеркивается из BI и BZ. Правило перемещения применяется последовательно ко всем вершинам равного ранга, начиная с ( п - 1) - го. [17]
Наивысший из этих рангов будем называть рангом дерева; он определяет максимальную длину партий, возможных в данной игре. Вершины нечетного ранга изображают позиции, в которых ход делает игрок Л, начинающий игру, а вершины четного ранга - позиции, где очередь хода за игроком В. [18]
Далее устанавливается попарная различимость или неразличимость для ( m - f - 1)) - вершин ранга 2; это позволяет выделить среди вершин ранга 2 те, которые должны быть отнесены к базису. Для этого приходится поднимать еще по одному ярусу, насчитывающему ms ребер над уже имеющимися ветвями высоты s, выходящими из этих вершин. Путем сравнения полученных вершин третьего ранга между собой, а также с уже ранее построенными вершинами базиса определяется, какие из них следует етнести к базису ( и приписать им новые буквы состояний) и какие состояния следует приписать тем вершинам третьего ранга, которые не входят в базис. Естественный обрыв этого процесса происходит тогда, когда впервые среди вершин данного ранга не обнаружено вершин, отличимых от ранее выявленных вершин базиса. Тогда завершается и построение канонических таблиц. [19]