Content
4.2 Усложнение согласованных систем
Итак, встаёт двуединый вопрос о согласованности систем в процессе их усложнения, который можно назвать главным:
- сохраняется ли согласованность в рассматриваемом усложнении
- согласованна ли данная система, если сама она построена из согласованных систем
Если получится ответить на этот вопрос в общем виде, то это позволит разработчику непосредственно по конструкции говорить о поведении, которое как-раз и является целью и наделяется смыслами.
Итак, в данной работе разрабатываются (предметная область исследования):
- язык И-ЛИБО-систем для описания автоматов мгновенного действия
- алгоритм синтеза для формализации процесса их корректного усложнения (композиции) с получением только согласованных И-ЛИБО-систем, что является ответом на главный вопрос,
- доказательство того, что любая согласованная система порождает корректный эксперимент (Теорема ...)
- процедура интерпретации, ставящая в соответствие согласованным И-ЛИБО-системам, то есть описаниям корректных(!) автоматов, сделанным на языке И-ЛИБО-систем, их значения - их конструкцию и поведение в эксперименте
