【计算理论】泵引理以及应用(证明某些语言不是正则的)

2019独角兽企业重金招聘Python工程师标准>>> hot3.png

1、基础知识

1.1、一个典型的有穷自动机状态图

状态:q1;q2;q3
起始状态q1用一个指向它的无出发点的箭头表示;
接受状态q2带有双圈
转移:从一个状态指向另一个状态的箭头

211818_63eM_576429.png

本例中q1为起始状态,q2为接受状态。如果一个字符串w经过M1可以到达接受状态那称为M1接受s(比如字符串1,01,001,0011等等会被M1接受)。若A是机器M1接受的全部字符串集,则称A是机器M1的语言,记L(M1)=Aÿ


本文来自互联网用户投稿,文章观点仅代表作者本人,不代表本站立场,不承担相关法律责任。如若转载,请注明出处。 如若内容造成侵权/违法违规/事实不符,请点击【内容举报】进行投诉反馈!

相关文章

立即
投稿

微信公众账号

微信扫一扫加关注

返回
顶部