A --> a A A --> b B B --> a B B --> b B B --> aaab ababa a