(00+1)* 的逆同态
Inverse homomorphism of (00+1)*
我找到了正则表达式 (00+1)* 的逆同态示例（在 'Hopcroft, Motwani, ullman' 书的第 131 页）。
如果 h(a)=01 和 h(b)=10 那么作者说给定正则表达式的逆同态是正则表达式 (ba)*.
但在(00+1)*语言中有字符串00和1，不能用(ba)*语言中的任何字符串表示。
这个例子是错误的还是我的思路错了？
表示(00+1)* 中的字符串的不是语言(ba)* 中的字符串，而是相反。同态映射从 (ba)* 字母表到 (00+1)* 字母表上的字符串。因此，INVERSE 同态映射相反。
图像包含在 (00+1)* 中有图片的所有字符串。你没看错，00和1是没有图片的。因此他们不贡献任何东西。这就是逆态射与非逆态射的不同之处。决定性的事实是所有贡献的字符串都是来自 (ba)* 的字符串。
我找到了正则表达式 (00+1)* 的逆同态示例（在 'Hopcroft, Motwani, ullman' 书的第 131 页）。
如果 h(a)=01 和 h(b)=10 那么作者说给定正则表达式的逆同态是正则表达式 (ba)*.
但在(00+1)*语言中有字符串00和1，不能用(ba)*语言中的任何字符串表示。
这个例子是错误的还是我的思路错了？
表示(00+1)* 中的字符串的不是语言(ba)* 中的字符串，而是相反。同态映射从 (ba)* 字母表到 (00+1)* 字母表上的字符串。因此，INVERSE 同态映射相反。
图像包含在 (00+1)* 中有图片的所有字符串。你没看错，00和1是没有图片的。因此他们不贡献任何东西。这就是逆态射与非逆态射的不同之处。决定性的事实是所有贡献的字符串都是来自 (ba)* 的字符串。