Автоморфизмы систем переходов
Аннотация
Автоморфизм системы переходов есть изоморфное отображение системы на себя. Множество автоморфизмов системы является группой относительно суперпозиции отображений. Доказано,что любая конечная группа изоморфно вкладывается в группу автоморфизмов некоторой системы переходов.
Список литературы
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 Yu.A. Automorphisms of transition systems. Modeling and Analysis of Information Systems. 2007;14(1):54-56. (In Russ.)
Просмотров: 296
Послать статью по эл. почте 