(00 + 1)*的逆同态

时间:2018-04-07 10:33:55

标签: automata finite-automata automata-theory

我找到了正则表达式的逆同态的一个例子(00 + 1)*('Hopcroft,Motwani,ullman'一书的第131页)。

如果h(a)= 01且h(b)= 10,那么auther说给定正则表达式的逆同态是正则表达式(ba)*。

但是(00 + 1)*的语言中有字符串00和1,它们不能用(ba)*语言中的任何字符串表示。

这个例子是错的还是我的思路方向错误?

1 个答案:

答案 0 :(得分:0)

语言(ba)*中的字符串不是(00 + 1)*中的字符串,而是反过来。 homomorpisam从(ba)*的字母表映射到(00 + 1)*的字母表上的字符串。因此,INVERSE同态映射相反。

图像包含所有在(00 + 1)*中有图片的字符串。正确观察,00和1没有图片。因此他们没有贡献任何东西。这就是逆态射与非逆矩阵的不同之处。决定性的事实是所有贡献的字符串都贡献了(ba)*的字符串。