For каждой группы do begin

Процедура разбиения

Разделить на подгруппы так, что два состояния из группы находятся в одной и той же подгруппе тогда и только тогда, когда для всех входящих символов состояния и имеют переходы по в состояния одной и той же подгруппы из .

Заменить в множеством всех созданных подгрупп.

end.

Пример

0. П = <{A, B, C, D}, {E}>

A₁ A₂

A₁: a – не разбивает;

A₁: b –разбивает A₁ = {A, B, C}È{D};

1. П = <{A, B, C}, {D}, {E}>

B₁ B₂ A₂

B₁: a – не разбивает;

B₁: b –разбивает B₁ = {A, C}È{B};

2. П = <{A, C}, {B}, {D}, {E}>

C₁ C₂ B₂ A₂

C₁: a – не разбивает;

C₁: b – не разбивает;