Изменения

К сожалению, совсем не очевидно, как быстро находить множество <tex>T</tex>. С другой стороны, понятно, что <tex>T\subset T'</tex>, где <tex>T'</tex> {{---}} это подмножество множество классов текущего разбиения, из состояний которых в ДКА автомате существует переход в сплиттер состояния сплиттера <tex>C</tex> по символу <tex>a</tex>. Пусть <tex>Inverse = \{r \ | \ r \in Q, \ \delta(r, a) \in C\}</tex>, а <tex>T' = \{R \ | \ R \in P, \ R \cap Inverse \neq \varnothing\}</tex>. Тогда <tex> T \subset T'</tex>.