Самоадаптирующиеся системы автономно адаптируются к изменениям как требований пользователя, так и операционного окружения в целях поддержания требуемых свойств и функционирования. В анализе таких систем используется аппарат графовых грамматик. Для выбора между разными графовыми грамматиками при моделировании таких систем предлагается использовать импликацию специального типа и множество истинностных значений некоторого топоса ассоциированного с системой. Эти импликация и истинностные значения используются для оценки варианта трансформации соответствующего графа.