init with {:  System.err.println("Addition selon Turing"); :}

parser code {:  // deactivation des messges d'erreurs de syntaxe
     public void  syntax_error(java_cup.runtime.Symbol tok) {} 
:}

terminal A, B, C, NL;
nonterminal axiome; 
nonterminal l0, l1, l2, t0, t1, t2;
nonterminal l3, l4;

axiome ::= /* vide */
     | axiome l0    {: System.out.println("OK");  :}  NL
     | axiome error {: System.out.println("NOK"); :}  NL
;

l0 ::= t0    | A l0 C ;
t0 ::= /* */ | B t0 C ;

// l1 ::= B t1  | A l1 A ;
// t1 ::= B     | A t1 A ;

// l2 ::= t2    | A l2 A ;
// t2 ::= B A   | B t2 A ;

// l4 ::= /**/ | A l4 A ; //Ambigue (non deterministe) !!!
// l3 ::= l2 | l4 ;