证明： 考虑 L((ab)*a) 中的任意一个串 ababab...aba ， 由串连接的结合性可得： a(ba)(ba)(b...a)(ba) ，它恰好是 L(a(ba)*) ，即 L((ab)*a)= L(a(ba)*) 。 也可以用归纳法证明（提示：以 ab 重复 0 次、 1 次作为归纳基础，假设 ab 重复 n 次成立，证明 ab 重复 n+1 次也成立）。