The case of nonnull maximal level4.

The case of nonnull maximal level
4.2.1 Preliminary flips
Let us now assume that the maximal level of the states is ℓ > 0.
We do a sequence of flips of A which leads to an equivalent automaton
such that:
For any state of maximal level p, there is no blue edge (t, b, p) where t is an
ancestor of p in the tree of p which is distinct from the root. (**)
In this case, we say that the resulting automaton A satisfies Condition
(**).
In order to achieve this goal, we compute for each maximal tree T a set
S of states t such that there is a blue edge (t, b, p) with t ancestor of p in T ,
p of maximal level, t distinct from the root of T , and there is no other state
t
′ ancestor of t satisfying the same condition.
The sets S are computed in linear time by performing a depth-first exploration
of each tree. For each tree, we start at the root following the red
edges in the backward direction and examining the blue edges (t, b, p) in the
backward direction.

Результаты (русский) 1:

В случае двух ненулевых максимальный уровень4.2.1 предварительный сальтоДавайте теперь предположим, что максимальный уровень государств является ℓ > 0.Мы делаем последовательность сальто который ведет к эквивалентной автоматТаким образом, что:Для любого государства максимального уровня p, существует не синий край (t, b, p), где t —предок p в дереве p, который отличается от корня. (**)В этом случае мы говорим, что результате автомат A удовлетворяет условию(**).Для достижения этой цели, мы вычисляем для каждого дерева, максимальная T наборS государства t такие что есть синий край (t, b, p) с предок p T, tp максимального уровня, отличается от корня T, t и не состояниеtпредок ′ t удовлетворяющие же условию.S наборы вычисляются в линейное время, выполняя глубину разведкикаждого дерева. Для каждого дерева мы начинаем в корне после красныйкрая в обратном направлении и изучение края голубой (t, b, p) вобратном направлении.

Результаты (русский) 2:

Случай ненулевой максимального уровня
4.2.1 Предварительные сальто
Предположим теперь, что максимальный уровень состояний ℓ> 0.
Мы делаем последовательность перестроек, которая приводит к эквивалентному автомату
, что:
Для любого государства максимального уровня р, нет синего края (T, B, P), где Т
предок р в дереве р, отличное от корня. (**)
В этом случае мы говорим, что в результате автомат удовлетворяет условию
(**).
Для достижения этой цели, мы вычисляем для каждого максимального дерева Т множество
S из государств т такое, что существует синий край ( T, B, P) с т предка р в Т,
р максимального уровня, т отличной от корня Т, и нет никакого другого штата
т
'предок т, удовлетворяющей тому же условию.
Наборы S вычисляются в линейных время, выполняя в глубину первой разведочной
каждого дерева. Для каждого дерева, мы стартуем из корня по Красной
краям в обратном направлении и рассматривая голубые края (T, B, P) в
обратном направлении.

Результаты (русский) 3:

В случае nonnull максимального уровня
4.2.1 Предварительный сметает
давайте теперь предположим, что максимальный уровень с Соединенными Штатами, то ℓ > 0.
мы последовательность переворот в которых ведет к эквивалентной автоматов
таким образом, что:
для какого-либо государства максимального уровня p, нет синего цвета края (t, b, p) где: t - на
предок p в дереве p который отличается от корня. ( ** )
в этом случае,Мы можем сказать, что в результате автоматов A удовлетворяет Condition
( ** ) .
для того, чтобы достичь этой цели, мы вычисления для каждого максимального дерева T набор
s государств-t, что есть "голубой край (t, b, p) с t прародителем p в T ,
p максимального уровня, t отличается от корень T , и никаких других государства
t
' предок t условие.
Наборы S рассчитываются в линейное время, выполняя глубину исследованию
каждого дерева. Для каждого дерева, мы начнем в корневом каталоге после красного
края назад направлении и изучение синий края (t, b, p) в
назад направлении.