Моделирование и анализ информационных систем (Mar 2007)
Automorphisms of transition systems
Abstract
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.