Пример 20
Простое усложнение за счёт внутренних связей

Пусть дан простой автомат А

А=активен

x=1

который усложняется до

А=активен	x=1	y=1
А=активен	x=2	y=3

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