<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">mais</journal-id><journal-title-group><journal-title xml:lang="ru">Моделирование и анализ информационных систем</journal-title><trans-title-group xml:lang="en"><trans-title>Modeling and Analysis of Information Systems</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">1818-1015</issn><issn pub-type="epub">2313-5417</issn><publisher><publisher-name>Yaroslavl State University</publisher-name></publisher></journal-meta><article-meta><article-id custom-type="elpub" pub-id-type="custom">mais-1115</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>Оригинальные статьи</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>Articles</subject></subj-group></article-categories><title-group><article-title>Автоморфизмы систем переходов</article-title><trans-title-group xml:lang="en"><trans-title>Automorphisms of transition systems</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Белов</surname><given-names>Ю. А.</given-names></name><name name-style="western" xml:lang="en"><surname>Belov</surname><given-names>Yu. A.</given-names></name></name-alternatives><email xlink:type="simple">belov@univ.uniyar.ac.ru</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff xml:lang="ru" id="aff-1"><institution>Ярославский государственный университет</institution><country>Russian Federation</country></aff><pub-date pub-type="collection"><year>2007</year></pub-date><pub-date pub-type="epub"><day>20</day><month>03</month><year>2007</year></pub-date><volume>14</volume><issue>1</issue><fpage>54</fpage><lpage>56</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Белов Ю.А., 2007</copyright-statement><copyright-year>2007</copyright-year><copyright-holder xml:lang="ru">Белов Ю.А.</copyright-holder><copyright-holder xml:lang="en">Belov Y.A.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://www.mais-journal.ru/jour/article/view/1115">https://www.mais-journal.ru/jour/article/view/1115</self-uri><abstract><p>Автоморфизм системы переходов есть изоморфное отображение системы на себя. Множество автоморфизмов системы является группой относительно суперпозиции отображений. Доказано,что любая конечная группа изоморфно вкладывается в группу автоморфизмов некоторой системы переходов.</p></abstract><trans-abstract xml:lang="en"><p>A automorphism of transitions system is an isomorphism of a system oneself. In the article are showed, that every finite group may be embedded in a group of automorphisms of a certain transition system.</p></trans-abstract></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Кузьмин Е.В. Структурированные системы переходов /Е.В. Кузьмин, В.А. Соколов .- М.: ФИЗМАТ- ЛИТ, 2006 .</mixed-citation><mixed-citation xml:lang="en">Кузьмин Е.В. Структурированные системы переходов /Е.В. Кузьмин, В.А. Соколов .- М.: ФИЗМАТ- ЛИТ, 2006 .</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Lomazova L.A. Universal Petry Nets and Process Rewrite Systems Extended with Procedures // Proceedings of International Conference CS&amp;P'2004, Informatik-Bericht 170 2004 с. 81-87 Berlin, Humboldt-Universitat zu Berlin.</mixed-citation><mixed-citation xml:lang="en">Lomazova L.A. Universal Petry Nets and Process Rewrite Systems Extended with Procedures // Proceedings of International Conference CS&amp;P'2004, Informatik-Bericht 170 2004 с. 81-87 Berlin, Humboldt-Universitat zu Berlin.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Белов, Ю.А. Некоторые алгебраические свойства систем переходов /Ю.А.Белов. - Математика в Ярославском университете: Сборник обзорных статей к 30-летию математического факультета. - Ярославль, 2006. - С. 33-42.</mixed-citation><mixed-citation xml:lang="en">Белов, Ю.А. Некоторые алгебраические свойства систем переходов /Ю.А.Белов. - Математика в Ярославском университете: Сборник обзорных статей к 30-летию математического факультета. - Ярославль, 2006. - С. 33-42.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Плоткин, Б.И. Группы автоморфизмов алгебраических систем /Б.И. Плоткин. - М.: Наука, 1966.</mixed-citation><mixed-citation xml:lang="en">Плоткин, Б.И. Группы автоморфизмов алгебраических систем /Б.И. Плоткин. - М.: Наука, 1966.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Курош, А.Г. Теория групп /А.Г.Курош. - М.: Гос. изд-во технико-теоретической лит., 1952.</mixed-citation><mixed-citation xml:lang="en">Курош, А.Г. Теория групп /А.Г.Курош. - М.: Гос. изд-во технико-теоретической лит., 1952.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Емеличев В.А. Лекции по теории графов /В.А. Емеличев, О.И. Мельников, В.И. Сарванов, В.И. Тышкевич. - М.: Наука, 1990.</mixed-citation><mixed-citation xml:lang="en">Емеличев В.А. Лекции по теории графов /В.А. Емеличев, О.И. Мельников, В.И. Сарванов, В.И. Тышкевич. - М.: Наука, 1990.</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
