Même s'il est sûrement un peu tard pour répondre, vu que je suis en plein dedans, et que ça pourra peut-être servir à d'autres, je me lance!:
je dirais:

s= (aa|ab)(aa|ab|ba|bb)* | b(aa|ab|ba|bb)*...