4.4 Цель работы

Ранее в разделе, посвящённом семантике динамических систем было намечено сделать содержением работы:

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

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

Назад Вперёд