403
правки
Изменения
м
→Псевдокод
<tex>Q</tex> {{---}} множество состояний ДКА.
<tex>F</tex> {{---}} множество терминальных состояний.
<tex>S</tex> {{---}} множество очередь пар <tex>(C, a)</tex>.
<tex>P</tex> {{---}} разбиение множества состояний ДКА.
<tex>R</tex> {{---}} класс состояний ДКА.
<tex>insert</tex> <tex>(R_1, c)</tex> '''to''' <tex>S</tex>
<tex>insert</tex> <tex>(R_2, c)</tex> '''to''' <tex>S</tex>
Когда множество очередь <tex>S</tex> станет пустымпустой, будет получено разбиение на классы эквивалентности, так как больше ни один класс невозможно разбить.
===Время работы===
