Moumou :
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 ?

Ben oui, mais ma regexp améliorée aussi c'est une "définition d'un langage", pourquoi est-ce que pour les langages rationnels il faudrait prendre la taille de l'automate comme mesure de la complexité et pas la taille de ma regexp ?