Прежде всего определено множество классов конгруэнтности на множество X, а следовательно, определена полугруппа для произвольного ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Арбиб М.N. Алгебраическая теория автоматов,языков и полугрупп


Прежде всего определено множество классов конгруэнтности на множество X, а следовательно, определена полугруппа для произвольного автомата. Эта полугруппа, обозначаемая SM, содержит единицу. Действие автоматов окажется одинаковым только тогда, когда они начинают работать из соответствующих начальных состояний. Полугрупповой автомат должен начинать работать из единичного состояния, а первоначальный автомат - из некоторого выбранного состояния. Функция выходов строится следующим образом: из каждого класса конгруэнтности выбирается произвольная входная последовательность, соответствующее ей состояние находится в первоначальном автомате при выбранном заранее начальном состоянии, для построенного состояния находится в первоначальном автомате выходной элемент.

(cкачать страницу)

Смотреть книгу на libgen

Прежде всего определено множество классов конгруэнтности на множество X, а следовательно, определена полугруппа для произвольного автомата. Эта полугруппа, обозначаемая SM, содержит единицу. Действие автоматов окажется одинаковым только тогда, когда они начинают работать из соответствующих начальных состояний. Полугрупповой автомат должен начинать работать из единичного состояния, а первоначальный автомат - из некоторого выбранного состояния. Функция выходов строится следующим образом: из каждого класса конгруэнтности выбирается произвольная входная последовательность, соответствующее ей состояние находится в первоначальном автомате при выбранном заранее начальном состоянии, для построенного состояния находится в первоначальном автомате выходной элемент.