#anbn #a^n b^n #equal count #context free language #string pattern #formal language