Изменения
→Простой алгоритм
# <tex>\forall r \in R_2 \,\,\, \delta(r, a) \notin S</tex>
}}
Если класс <tex>R</tex> может быть разбит по символу <tex>a</tex>, то он содержит хотя бы одну пару неэквивалентных состояний (так как существует строка которая их можно различить любой строкой начинающейся с символа <tex>a</tex>различает). Если класс нельзя разбить, то он состоит из эквивалентных состояний.
Поэтому самый простой алгоритм состоит в том, чтобы разбивать классы текущего разбиения до тех пор пока это возможно.
