Модель параллельного автомата
В. А. Воробьев
Поморский государственный университет, Архангельск E-mail: vva@sanet.ru
Страницы: 85-93 Подраздел: МОДЕЛИРОВАНИЕ В ФИЗИКО-ТЕХНИЧЕСКИХ ИССЛЕДОВАНИЯХ
Аннотация
Дано определение параллельного автомата, или П-автомата. Введены понятия атомарного, частичного и полного состояний П-автомата, параллельного входа и выхода. На этих множествах определяются параллельные функции переходов и выходов, заданные матрицами переходов и выходов. Сформулированы условия, которым должны отвечать эти матрицы, чтобы обеспечить корректное и однозначное описание П-автомата. Рассмотрены три способа его функционирования: синхронный, ординарный и смешанный. Сформулированы утверждения об условиях сводимости П-автомата к параллельно-последовательной композиции последовательных автоматов и достаточности ординарной модели П-автомата.
|