N ->
 N -> a N b N            book has this
 N -> b N a N

 -------------

 OR

 N ->                    question : why not this too?
 N -> a N b
 N -> b N a

 ---------------

 answer :

  2nd one cannot do "a b b a" ... we think.

  1st one can ... we think.