|
"
0
C
F
G
H
K
L
N
P
S
T
W
Z
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Э
Ю
Я
АВТОМАТОВ ГОМОМОРФИЗМЗначение АВТОМАТОВ ГОМОМОРФИЗМ в математической энциклопедии: отображение входного и выходного алфавитов, а также множества состояний одного автомата в аналогичные множества другого автомата, сохраняющее функции переходов и выходов. Более точно А. г. автомата и для любых s из S1 и аиз А 1 имеют место равенства: Для автоматов инициальных, кроме того, требуется, чтобы функция hначальное состояние переводила в начальное. Автоматы Понятие А. г. используется в связи с задачами минимизации, разложения, полноты автоматов и др. Лит.:[1] Глушков В. М., "Успехи матем. наук", 1961, т. 16, в. 5, с. 3-62. Л. Л. Летичевский. |
|
|
|
в автомат 
(см. Автомат конечный) - это отображение 
множества 
в множество 
такое, что 
наз. гомоморфными, если существует А. г. Л, отображающий 
на 
Если, кроме того, отображение hвзаимно однозначно, то hназ. изоморфизмом, а автоматы 
- изоморфными автоматами. Если алфавиты А 1 и А 2, а также В 1 и В 2 совпадают и отображения h1 и h3 тождественны, то гомоморфизм (изоморфизм) hназ. гомоморфизмом (изоморфизмом) по состояниям. Аналогично определяются гомоморфизмы (изоморфизмы) по входному и выходному алфавитам. Изоморфные по состояниям автоматы, а также гомоморфные по состояниям инициальные автоматы эквивалентны (см. Автоматов эквивалентность).