grammar gramcyk{

     terminal a,b;
     nonterminal A,B,C;
     axiom A;

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

/*
ENG: We are going to apply the cyk algorithm to the grammar in order
     to recognize the string [a a b b a b] that is a valid string, so
     the final result must be positive.
ESP: Es una gramatica a la que vamos a aplicar el algoritmo cyk
     para reconocer la cadena [a a b b a b] que es una cadena valida
     por lo que al final tiene que dar como resultado que la cadena
     es reconocida.
*/

print(gramcyk);
cyk(gramcyk, a a b b a b);

/*
ENG: [Note] Because the given grammar is not in FNC form, the
     tool will calculate the FNC form of the grammar.
ESP: [Nota] Como la gramatica que se le pasa no esta en FNC,
     el programa calculara antes la FNC de la gramatica pasada.
*/