grammar dasd; 1. x ::= "a" 2. y ::=x