для редукції.
. Визначити безліч S (X *) ситуації редукції.
. Визначити ставлення F (X *) безпосереднього проходження ситуації редукції.
. Визначити безліч I (X *) ініціаторів редукції.
. Визначити безліч R (X *) Результант редукції.
Виконання операції редукції
1. Визначимо безліч X *.
X = {00, 01, 11}. Нехай X * = {11}. br/>
. Визначимо безліч S *.
S * = {110000, 111000, 111100, 111001, 110001, 110110} = {s 1 , s 2 , s 4 , s 5 , s 6 , s 7 }.
. Визначимо безліч S (X *).
S (X *) = S * = {110000, 111000, 111100, 111001, 110001, 110110} = {s 1 , s 2 , s 4 , s 5 , s 6 , s 7 }.
. Визначимо відношення F (X *) = F Г‡ (S (X *) ' S (X *)).
В В
. Визначимо безліч I (X *).
I = {s 1 }, S (X *) = {s 1 , s 2 , s 4 , s 5 , s 6 , s 7 } Гћ (X *) = I Г‡ S (X *) = {s 1 } = {110000} = I .
.
