6.7.2 Теория алгоритмов и формальных языков

Условие: Проверить является ли теоремой исчисления палиндромов слово \( a b a b a b a \).