9.19. Монотонность в развитии смыслов

Ранее было предложено рассматривать именно те процессы конструирования систем мгновенного действия, в котором эти системы имеют вид более сложный, чем просто таблицы, связываемые с рабочими профилями.

При этом разработчик имеет дело не с собственно с поведением, а только с явно заданными элементами конструкции, что уже видно в определениях суммы и произведения множеств состояний:

Основное внимание при этом обращают на себя внимание ключи коммутатора и ключи селектора, соотносимые соответственно с И- и ЛИБО-блоками как элементами конструкции автомата.

Так, ключ коммутатора здесь содержит прямое указание на то, как рассматриваемая N-ка состояний из сомножителей (в конструкции) - приведёт корректному испытанию (если каждое такое состояний является прообразом для данного ключа), или наоборот - к ошибке (в противном случае).

То есть, на самом ли деле её члены связаны отношением И, или такая конструкция потенциально может привести к (незапланированной!) ошибке, возникшей из-за утраты смысла.

Соответственно чтобы понять, связаны ли отношением ЛИБО произвольные состояния из разных сомножителей или суммируемых состояний, достаточно лишь "взглянуть", относятся ли они к разным каналам, определяемых разными ключами, или нет.

Для этого достаточно мысленно провести лёгкую операцию получения проекции рассматриваемых состояний на базис указанного ключа.

Это же гораздо проще, чем искать предварительно общие переменные и удостоверяться, что все они имеют значения одинаковые (для произведения) или разные (для суммы).

То есть, так можно добиться большей уверенности в монотонности сохранения смыслов, заложенных в простейшие элементы, когда они объединяются в сложную конструкцию.

Назад Вперёд