grammar sinfnc{
     terminal a,b;
     nonterminal S,A,B;
     axiom S;

     productions{
          S:=b A|a B;
          A:=b A A|a S|a;
          B:=a B B|b S|b;
     }
}

/*
ENG: The grammar will be used to illustrate the FNC (Chomsky Nomal
     Form), in this process the elements of the grammar (terminals and
     non terminals) will be renamed.
ESP: Es una gramatica a la que vamos a aplicar el algoritmo de
     la Forma Normal de Chomsky, en este proceso se nos renombrara
     los elementos de la gramatica (los terminales y no terminales).
*/

print(sinfnc);
confnc=fnc(sinfnc);