регулярное выражение (.)\1* работает так:
-
(.) — захватывает любой одиночный символ (круглые скобки образуют первую группу захвата).
-
\1* — это ссылка назад (бэкраференс), означающая повторение того же символа, который был захвачен первой группой, ноль или более раз (символ *).
Таким образом, выражение находит последовательности одинаковых символов подряд: например, "aaa", "bb", "c".
re.findall с таким шаблоном вернёт список первых символов каждой подряд идущей серии, а re.finditer даёт доступ к каждому полному совпадению (все повторения подряд) с их длиной — поэтому в цикле print(m.group(), len(m.group())) выводятся сами цепочки и их длина.