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

2019独角兽企业重金招聘Python工程师标准>>> 1、基础知识 1.1、一个典型的有穷自动机状态图 状态:q1;q2;q3起始状态q1用一

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ÿ