Реферат Струменевий принтер

"justify ">) Г› (s i M s j ) & (s j M s i );

2. " s ГЋ S: s E s.

Таким чином, якщо між ситуаціями існує цикл, вони потрапляють в один клас еквівалентності (умова 1), в одному класі еквівалентності міститься мінімум одна ситуація (умова 2).

У розглянутому асинхронному процесі отримуємо сім класів еквівалентності: K 1 = {s 1 }, K 2 = {s 2 }, K 3 = {s 3 }, K 4 < span align = "justify"> = {s 4 , s 5 , s 6 }, K 5 = {s 7 }, K 6 = {s 8 }, K 7 = {s 9 < span align = "justify">}. Допустимі послідовності класів: K 1 В® K 2 В® K 4 В® < span align = "justify"> K 5 В® K 6 , K 1 В® K 2 В® K 3 , K 1

Назад | сторінка 7 з 33 | Наступна сторінка