Автоморфизмы систем переходов

Ю. А. Белов

doi:10.18255/1818-1015-2007-1-54-56

Автоморфизмы систем переходов

Ю. А. Белов

https://doi.org/10.18255/1818-1015-2007-1-54-56

Полный текст:

Аннотация

Автоморфизм системы переходов есть изоморфное отображение системы на себя. Множество автоморфизмов системы является группой относительно суперпозиции отображений. Доказано,что любая конечная группа изоморфно вкладывается в группу автоморфизмов некоторой системы переходов.

Об авторе

Ю. А. Белов

Ярославский государственный университет
Россия

Список литературы

1. Кузьмин Е.В. Структурированные системы переходов /Е.В. Кузьмин, В.А. Соколов .- М.: ФИЗМАТ- ЛИТ, 2006 .

2. Lomazova L.A. Universal Petry Nets and Process Rewrite Systems Extended with Procedures // Proceedings of International Conference CS&P'2004, Informatik-Bericht 170 2004 с. 81-87 Berlin, Humboldt-Universitat zu Berlin.

3. Белов, Ю.А. Некоторые алгебраические свойства систем переходов /Ю.А.Белов. - Математика в Ярославском университете: Сборник обзорных статей к 30-летию математического факультета. - Ярославль, 2006. - С. 33-42.

4. Плоткин, Б.И. Группы автоморфизмов алгебраических систем /Б.И. Плоткин. - М.: Наука, 1966.

5. Курош, А.Г. Теория групп /А.Г.Курош. - М.: Гос. изд-во технико-теоретической лит., 1952.

6. Емеличев В.А. Лекции по теории графов /В.А. Емеличев, О.И. Мельников, В.И. Сарванов, В.И. Тышкевич. - М.: Наука, 1990.

Дополнительные файлы

Для цитирования: Белов Ю.А. Автоморфизмы систем переходов. Моделирование и анализ информационных систем. 2007;14(1):54-56. https://doi.org/10.18255/1818-1015-2007-1-54-56

For citation: Belov Y.A. Automorphisms of transition systems. Modeling and Analysis of Information Systems. 2007;14(1):54-56. (In Russ.) https://doi.org/10.18255/1818-1015-2007-1-54-56

Обратные ссылки

Обратные ссылки не определены.

Контент доступен под лицензией Creative Commons Attribution 4.0 License.

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

Логин
Пароль