{ a^n b^n | n >= 0}

      /^
        (a*)
        (??{sprintf("b{%d}", (length($1)))})
       $/x