После обработки всех блоков ААА в строке, она примет вид 33 идущих подряд букв B и 1 буквы A (для простоты будем обозначать это как 33-B,1-A).
После прохождения нескольких итераций алгоритма, строка начнет опять содержать тройку ААА, и будет иметь вид 3-А, 27-B, 1-A.
Эта строка после одной итерации цикла будет преобразована в строку 28-B, 1-A. Таким образом, исходные 6 букв B преобразовываются в 1.
Точно так же, дальнейшие итерирование приводит строку к виду 3-B,1-A, которая в после заключительного преобразования становится строкой ABA. Это и есть ответ.