  
  [1m[4m[31m5. User friendly ways to give semigroups and automata[0m
  
  This  chapter  describes two Tcl/Tk graphical interfaces that can be used to
  define and edit semigroups and automata.
  
  
  [1m[4m[31m5.1 Finite automata[0m
  
  [1m[4m[31m5.1-1 XAutomaton[0m
  
  [1m[34m> XAutomaton( [0m[22m[34m[A][0m[1m[34m ) ________________________________________________[0mfunction
  
  The  function  [22m[32m  Xautomaton  [0m  without arguments opens a new window where an
  automaton  may  be  specified. A finite automaton (which may then be edited)
  may be given as argument.
  
  [22m[35m---------------------------  Example  ----------------------------[0m
    [22m[35mgap> XAutomaton();[0m
    [22m[35m      [0m
  [22m[35m------------------------------------------------------------------[0m
  
  It opens a window like the following:
  
  [22m[32m  Var  [0m is the [1mGAP[0m name of the automaton, [22m[32m States [0m is the number of states, [22m[32m
  Alphabet  [0m  represents  the  alphabet  and  may  be given through a positive
  integer  (in  this  case  the  alphabet  is understood to be [22m[32m a,b,c,... [0m) or
  through a string whose symbols, in order, being the letters of the alphabet.
  The  numbers corresponding to the initial and accepting states are placed in
  the  respective  boxes.  The automaton may be specified to be deterministic,
  non   deterministic  or  with  epsilon  transitions.  After  pressing  the  [1m[46m
  transition  matrix  [0m button the window gets larger and the transition matrix
  of the automaton may be given. A non deterministic automaton may be given as
  follows:
  
  By  pressing  the  button [1m[46m Ok [0m the [1mGAP[0m shell aquires the aspect shown in the
  following  picture and the automaton [22m[32m ndAUT [0m may be used to do computations.
  Some  computations  such  as  getting a rational expression representing the
  language of the automaton, the (complete) minimal automaton representing the
  same  language  or  the  transition  semigroup of the automaton, may be done
  directly after pressing the [1m[46m Functions[0m button.
  
  By  pressing  the  button  [1m[46m  View  [0m  an  image representing the automaton is
  displayed  in  a  new  window.  An automaton with epsilon transitions may be
  given  as  follows  shown  in  the following picture. The last letter of the
  alphabet  is  always  considered  to  be  the  epsilon.  In the images it is
  represented by @.
  
  A  new  window  with  an image representing the automaton may be obtained by
  pressing the button [1m[46m View [0m.
  
  In the next example it is given an argument to the function [22m[32mXAutomaton[0m.
  
  [22m[35m---------------------------  Example  ----------------------------[0m
    [22m[35mgap> A := RandomAutomaton("det",2,2);[0m
    [22m[35m< deterministic automaton on 2 letters with 2 states >[0m
    [22m[35mgap> XAutomaton(A);[0m
    [22m[35m      [0m
  [22m[35m------------------------------------------------------------------[0m
  
  It opens a window like the following:
  
  
  [1m[4m[31m5.2 Finite semigroups[0m
  
  The  most  common  ways  to  give  a semigroup to are through generators and
  relations,  a  set  of  (partial)  transformations  as generating set and as
  syntactic semigroups of automata or rational languages.
  
  [1m[4m[31m5.2-1 XSemigroup[0m
  
  [1m[34m> XSemigroup( [0m[22m[34m[S][0m[1m[34m ) ________________________________________________[0mfunction
  
  The  function  [22m[32m  XSemigroup  [0m  without  arguments opens a new window where a
  semigroup  (or  monoid) may be specified. A finite semigroup (which may then
  be edited) may be given as argument.
  
  [22m[35m---------------------------  Example  ----------------------------[0m
    [22m[35mgap> XSemigroup();[0m
    [22m[35m      [0m
  [22m[35m------------------------------------------------------------------[0m
  
  It  opens  a window like the following: where one may choose how to give the
  semigroup.
  
  
  [1m[4m[31m5.2-2 Semigroups given through generators and relations[0m
  
  In  the  window  opened  by  [22m[32mXSemigroup[0m,  by pressing the button [1m[46mProceed[0m the
  window should enlarge and have the following aspect. (If the window does not
  enlarge automatically, use the mouse to do it.)
  
  [22m[32m GAP variable [0m is the [1mGAP[0m name of the semigroup. One has then to specify the
  number  of  generators, the number of relations (which does not to be exact)
  and whether one wants to produce a monoid or a semigroup.
  
  
  [1m[4m[31m5.2-3 Semigroups given by partial transformations[0m
  
  [22m[32mXSemigroup(poi3);[0m would pop up the following window, where everything should
  be clear:
  
  
  [1m[4m[31m5.2-4 Syntatic semigroups[0m
  
  [22m[32mXSemigroup();[0m  would  pop  up  the  following  window, where we would select
  "Syntatic  semigroup",  press  the  [1m[46mProceed[0m button and then choose either to
  give  a  "Rational  expression"  or  an "Automaton" by pressing one of those
  buttons:
  
