Bertil bäver spelar ett spel ”Aibi-språket”. Han bestämmer följande regler för hur man får skapa nya ord:
Spelet avslutas då ordet på tavlan består enbart av a och b. Då är det ett godkänt ord i aibi-språket.
Till exempel kan ordet aabb skapas på följande sätt:
S (regel 1) -> aX (regel 2) -> aaXb (regel 3) -> aabb (regel 4)
Vilken av följande ord är godkänt i aibi-språket?