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

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


Аннотация

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

Об авторе

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


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

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.

For citation: Belov Y.A. Automorphisms of transition systems. Modeling and Analysis of Information Systems. 2007;14(1):54-56. (In Russ.)

Просмотров: 4

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

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


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


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