Valami ilyesmire gondoltam én is. De hol van például a bbbbbaba^-1bbbbbb szó? Ez nincs benne sem az S(a)-ban, sem aS(a^-1)-ben.