19. Ячейки и фреймы в развитии

Замечание

Основная тема работы - вопрос о влиянии усложнения конструкции, выраженное термином О-проекции, на усложнение поведения системы. Ранее в главе 17 уже была рассмотрена первая его часть – «сохранение состояний», что было выражено в терминах проекции ВС.

Здесь речь будет идти о сохранении второй составляющей поведения – «порожденных отношениях» между состояниями. Это будет сделано с помощью перехода к их «конструктивным» определениям, выраженным терминами И- и ЛИБО-фреймов.

Вначале следует напомнить про лемму 10.3, в которой было указано, что каждый тип элементарного усложнения дерева сохраняет его ячейки, а также теорему 15.1, говорящую о том, что согласованная система имеет корректный каркас.

Далее будет доказано, что в результате усложнения конструкции системы, то есть при переходе к её О-прообразу, соответствующим образом сохраняются в усложненном виде И-, ЛИБО- и И-ЛИБО ячейки.

В конце будет доказано аналогичное «сохранение И- и ЛИБО-фреймов», что эквивалентно сохранению порожденных отношений.

порожденные отношения» между состояниями	->	фрейм	->	сумма ячеек	->	прообразы ячеек
И-	=	И-фрейм	=	И-ячеек	->	прообраз И-ячейки
ЛИБО-	=	ЛИБО-фрейм	=	ЛИБО-ячеек	->	прообраз ЛИБО-ячейки
				И-ЛИБО-ячеек	->	прообраз И-ЛИБО- ячейки

Назад Вперёд