20.2. Главная теорема

Пусть даны согласованные системы ВС

SVS⚪ = <T⚪, SH⚪, COM⚪, SEL⚪, VS⚪> и

SVS◎ = <T◎, SH◎, COM◎, SEL◎, VS◎>

такие, что их основы [SVS⚪] и [SVS◎] находятся в отношении О-проекции (усложнение конструкции).

Тогда характерные черты согласованной системы SVS⚪ служат проекцией характерных черт системы SVS◎, доказательством чего служат результаты леммы 17.4 и теоремы 19.16 (усложнение поведения)

		характерные черты
лемма 17.4	любой элементарный шаг, связывающий эти две системы ВС, приводит к таким изменениям в ряду вышестоящих ВС в SVS◎, что они становятся ВС-прообразами для соответствующих ВС из SVS⚪.	порождённые состояния
теорема 19.16	любое порождённое отношение, связывающее например, состояния s1⚪ .. sM⚪ системы SVS⚪, связывает также и соответствующие им прообразы - состояния s1◎ .. sM◎ системы SVS◎	порождённые отношения

То есть, SVS⚪ и SVS◎ соотносятся как полные прообраз-проекция что может служить основой в объяснении многих несуразностей, пытающихся работать с традиционными объектами, которые обычно означают только малоизменяемые сущности . █

Назад Вперёд