试证明正规式 ( ab ) * a 与 a( ba ) * 是等价的。
证明:
考虑 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 次也成立)。
这道题你会答吗?花几分钟告诉大家答案吧!
扫描二维码,关注牛客网
下载牛客APP,随时随地刷题