read a 
read b 
read a 
A -> ba 
read a 
read 
 
S -> a 
S -> aAS 
accepted