К построению параллельной композиции расширенных автоматов

Широкова, Екатерина Владимировна; Прокопенко, Светлана Анатольевна; Шабалдина, Наталия Владимировна

К построению параллельной композиции расширенных автоматов

Широкова, Екатерина Владимировна, Прокопенко, Светлана Анатольевна, Шабалдина, Наталия Владимировна

Дата публикации: 2019

Дата публикации в реестре: 2020-03-03T19:14:13Z

Аннотация:

Рассматривается задача построения параллельной композиции двух взаимодействующих компонент, к одной из которых нет внешнего доступа. Поведение каждой компоненты описывается расширенным автоматом. Исследуются условия, при которых поведение взаимодействующих компонент можно описать расширенным автоматом без перехода к эквивалентным конечным автоматам.

Ключевые слова:
расширенные автоматы, конечные автоматы, параллельная композиция расширенных автоматов

Тип: статьи в журналах

Источник: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2019. № 48. С. 83-91