Content
4. Предметная область исследования и цель работы
4.1 Синтез корректных автоматов
Имеется два взгляда на одну и ту же сущность:
- можно рассматривать усложнение одного автомата (некоторого его аспекта) в процессе конструирования
- можно наоборот - на сложный автомат смотреть как на результат объединения из простейших блоков и операторов посредством связок И и ЛИБО
что позволяет увязать с определением конструкции и поведения этих связок И и ЛИБО также и вопрос корректности автомата, возникающий из требования сохранения неких характерных черт поведения всех его составляющих - только автоматам, прошедщим такую проверку (синтез), можно будет сопоставить не только конструкцию, но и поведение.
Так что, главный вопрос - как определить:
так, чтобы при корректном синтезе таких модулей сохранялся бы их смысл (характерные черты поведения) см. Теорема 31
Существенно, что для НЕкорректных автоматов их поведение в общем случае не определено, но для "логической целостности" его можно доопределить так, чтобы при этом оказались равно-содержательны:
- корректный синтез и существование рабочего профиля, полученного для эксперимента с результирующим автоматом см. Теорема 24.11
- невозможность такого синтеза и невозможность корректных испытаний (ошибка конструкции) см. Теорема 24.12
что должно позволить, в конечном итоге, отказаться от тестирования в виде испытаний и экспериментов и сосредоточится на проблеме синтеза.
Для этого далее будут определены согласованные системы - важнейшее понятие языка И-ЛИБО СИСТЕМ
которое:
- является производным от определения И- и ЛИБО-связок (между блоками автомата)
- предназначено для автоматического анализа возможности сохранения характерных черт поведения (Главная теорема), что здесь и означает возможность синтеза (модулей) согласно общему алгоритму синтеза
- становится (Теорема 33) синтаксическим описанием автоматов, корректных уже в эксперименте
Тем самым удастся подтвердить предположение о существовании правил построения нетривиальных систем, описывающих миры с монотонным ростом знания о каждой описанной системе.