Preview

Моделирование и анализ информационных систем

Расширенный поиск

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

Аннотация

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

Об авторе

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


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

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.)

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


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


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