automaton in1{

     states q0,q1,q2,q3;
     alphabet a,b;
     initial q0;
     final q3;

     transition{

          q0,a=q1;
          q0,b=q0;

          q1,a=q1;
          q1,b=q2;

          q2,a=q3;
          q2,b=q0;

          q3,a=q3;
          q3,b=q3;
     }
}

automaton in2{

     states q4,q5;
     alphabet a,b;
     initial q4;
     final q5;

     transition{

          q4,a=q5;
          q4,b=q4;

          q5,a=q4;
          q5,b=q5;

     }
}


/*
ENG: First we print the automatons.
ESP: Primero imprimimos los automatas.
*/
print(in1);
print(in2);

/*
ENG: Now we do the intersection and print
     the resulting automaton.
ESP: Ahora hacemos la interseccion e imprimimos
     el automata resultante.
*/

automatainterseccion=intersection(in1,in2);
print(automatainterseccion);