![]() |
АВТОМАТОВ ГОМОМОРФИЗМРасстановка ударений: АВТОМА`ТОВ ГОМОМОРФИ`ЗМ
АВТОМАТОВ ГОМОМОРФИЗМ - отображение входного и выходного алфавитов, а также множества состояний одного автомата в аналогичные множества другого автомата, сохраняющее функции переходов и выходов. Более точно А. г. автомата h1 : A1 → A2, h2 : S1 → S2, h3 : B1 → B2, и для любых s из S1 и а из А1 имеют место равенства: h2 φ1 (s, a) = φ2 (h2 (s), h1 (a)), h3 ψ1 (s, a) = ψ2 (h2 (s), h1 (a)).
Для автоматов инициальных, кроме того, требуется, чтобы функция h начальное состояние переводила в начальное. Автоматы Понятие А. г. используется в связи с задачами минимизации, разложения, полноты автоматов и др. Лит. : [1] Глушков В. М., «Успехи матем. наук», 1961, т. 16, в. 5, - с. 3-62. А. А. Летичевский. Источники:
|
![]()
|
|||
![]() |
|||||
© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник: http://mathemlib.ru/ 'Математическая библиотека' |