哈工大形式语言复习

1.语法二义性:
对于一个CFL,有两种最左推导能推导出同一个效果:
哈工大形式语言复习_第1张图片

2.正则语言的泵引理:
对于正则语言L
对于任意n
任意w属于L,w>=n,都能写成w=xyz
(1) xy长度<=n
(2)y!=null
(3)对于任意k,x y^k z属于L。
如果不成立那么不是正则语言

3.上下文无关语言的泵引理:
哈工大形式语言复习_第2张图片
哈工大形式语言复习_第3张图片

两个正则语言的交还是正则的
哈工大形式语言复习_第4张图片

你可能感兴趣的:(哈工大形式语言复习)