grammar dasd;

1. x ::= "a"
2. y ::=x x