The language {a b^n (a b*)^(n-1) | n >= 1} is indexed

The shared example is context-free, hence indexed.

theorem abnAbStarPowPredN_is_Indexed : is_Indexed abnAbStarPowPredN

The language {a b^n (a b*)^(n-1) | n >= 1} is indexed.