automaton auto1{

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

     transition{

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

          q1,a=q1;
          q1,b=q3;

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

          q3,a=q1;
          q3,b=q2;
     }
}

/*
ENG: First we print the automaton.
ESP: Primero imprimimos el automata.
*/

print(auto1);


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

autocomplement=complement(auto1);
print(autocomplement);