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