Внешние символы (external symbol)
символы, к которым есть обращения в данном модуле, но определены они в ином модуле1 .
вычислительная модель, состоящая из ограниченного числа состояний и переходов между этими состояниями, возможно сопутствующими действиями.
Рассматривается задача построения параллельной композиции двух взаимодействующих компонент, к одной из которых нет внешнего доступа. Поведение каждой компоненты описывается расширенным автоматом. Исследуются условия, при которых поведение взаимодействующих компонент можно описать расширенным автоматом без перехода к эквивалентным конечным автоматам.
Инструментальное средство UniMod позволяет проектировать и исполнять автоматные программы. Основное его ограничение возможность только визуального описания конечных автоматов. В статье рассматриваются текстовый язык автоматного программирования FSML (Finite State Machine Language) и его редактор, позволяющие описывать автоматы в указанном средстве с помощью текстового языка автоматного программирования.
символы, к которым есть обращения в данном модуле, но определены они в ином модуле1 .
оценивается функцией зависимости объема работы, выполняемой алгоритмом, от размера входных данных.
задает очередность выполнения операций, указанных в выражении.