VII. Результаты

23. Язык И-ЛИБО-систем

Полученные к данному моменту наработки естественно объединить в язык И-ЛИБО-систем, представляющий собой традиционную формальную систему, определяющую формулы, то есть, правила построения (синтаксис) для формул сборок, в которых каждая формула согласованной системы:

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

Назад Вперёд