Web page of Dmytro Savchuk |
3-state Automata acting on 2-letter alphabet
This is a scipt accompanying the paper:
For a given 3-state 2-letter automaton it allows to compute the numbers of representatives of symmetry, minimal symmetry, and isomorphism classes. Also it returns some available information about each group. It can also be used in the converse direction: given a number of automaton it will construct the automaton itself. Additional information about each group can be obtained from the paper, and using the AutomGrp package for GAPsystem.
The set of states is {1,2,3}. Permutation σ permutes letters of the alphabet.