Представление автоматов группами. II
Одержано необхідні та достатні умови, при яких зображення абстрактних автоматів скінченними групами погоджено з функцією переходів автомата. Одержано достатні умови, при яких відображення вільної півгрупи автомата у групу, що здійснюється компонентою зображення, є гомоморфізмом. We obtain necessary...
Збережено в:
| Опубліковано в: : | Український математичний журнал |
|---|---|
| Дата: | 2000 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут математики НАН України
2000
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/158037 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Представление автоматов группами. II / В.Г. Скобелев // Український математичний журнал. — 2000. — Т. 52, № 10. — С. 1397–1404. — Бібліогр.: 4 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Резюме: | Одержано необхідні та достатні умови, при яких зображення абстрактних автоматів скінченними групами погоджено з функцією переходів автомата. Одержано достатні умови, при яких відображення вільної півгрупи автомата у групу, що здійснюється компонентою зображення, є гомоморфізмом.
We obtain necessary and sufficient conditions under which the representation of abstract automata in terms of finite groups is consistent with the transition function of an automaton. We obtain sufficient conditions under which the mapping of a free semigroup of an automaton into a group realized by a component of the representation is a homomorphism.
|
|---|---|
| ISSN: | 1027-3190 |