La taille minimale de la définition d'une grammaire reconnaissant ce que tu veux reconnaître sera plus petite pour une grammaire hors contexte :
Par "définition" j'entends A -> a, A -> aB et A -> epsilon pour une regexp, et aAb -> a(...)b pour une grammaire hors contexte.

Non ?