24.3 Теорема

Если в автономном эксперименте набор действий проявляется исключительно разновременно (в непересекаюющиеся моменты времени), то и в полном эксперименте все такие действия также происходят по-отдельности, но никак не одновременно (хотя-бы и для пары).

Доказательство

Пусть в эксперименте участвует два автомата:

• один построен по согласованной системе с основой [SVS◎] = <T◎, COM◎, SEL◎, VS⧋◎, VS⫧◎>, которая служит О-прообразом для
• основы [SVS⚪] = <T⚪, COM⚪, SEL⚪, VS⧋⚪, VS⫧⚪>, на которой построен другой, чьи действия e1 .. en производятся разновременно соответствующими операторами o1 .. on, что означает отношением ЛИБО между активизирующимими их множествами состояний {S1⚪} .. {Sn⚪} из vs⚪

Согласно Лемме 17.3 головная ВС vs◎ полной системы SVS◎ является ВС-прообразом для vs⚪, а замечанию 12.??? - прообразы указанных состояний {S1◎} .. {Sn◎} в vs◎ также не пересекаются.

Значит, не пересекаются и множества моментов времени, когда происходят действия e1 .. en в системе SVS◎, то есть, связаны отношением ЛИБО.

https://itsecforu.ru/wp-content/uploads/2018/01/1lav_robert_yadro_linux_opisanie_protsessa_razrabotki.pdf

Назад Вперёд