句法模式识别（二）-正规文法、上下文无关文法

最新推荐文章于 2024-08-05 10:57:04 发布

ycheng_sjtu

最新推荐文章于 2024-08-05 10:57:04 发布

阅读量9.9k

点赞数 2

分类专栏：模式识别模式识别文章标签：串文法上下文无关文法句法识别模式识别递归算法

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/ycheng_sjtu/article/details/26104869

版权

本文深入探讨了正规文法和上下文无关文法的特性，包括正规文法的长度限制和自嵌入特性。介绍了上下文无关文法的自嵌入条件、uvwxy定理以及如何通过递归算法消除浪费和无用环节，旨在理解文法的优化。同时，文章提到了上下文无关文法的两种标准型：Chomsky和Greibach标准型。

摘要由CSDN通过智能技术生成

正规文法的特性

1.所有长度有限的语言都是正规的。

2.用正规文法当然能产生无限长串，其中周期重复部分的长度不大于非终止符的长度。

举个例子

$S\to aA,A \to bS,A \to c$

在此规则之下，能生成句子 $\left\{{a{{\left( {ba} \right)}^n}c|n \ge 0} \right\}$

其中周期重复部分为ab，这个例子的非终止符的元素个数为2，故满足2不大于2.

自嵌入特性

我们把上下文无关文法中的正规文法去掉，剩下的那部分我们叫做真正的上下文无关文法。

自嵌入特性是区分真正的上下文无关文法与正规文法的判定标准。

即一个真正的上下文无关文法一定具有自嵌入特性，正规文法具有非自嵌入特性。亦即非自嵌入的上下文无关文法是正规文法，上下文无关文法就蜕化了。

什么是自嵌入特性？

自嵌入顾名思义，就是能够自己嵌入自己：

$A\mathop \Rightarrow \limits_G^* vAx$

当然必须保证v和x不能是空串。

uvwxy定理

这是一个用以判定上下文无关文法和正规文法的条件。

就是说，当这个文法满足自嵌入条件，表示出来就是

$S\mathop \Rightarrow \limits_G^* uAy,A\mathop \Rightarrow \limits_G^* vAx,A\mathop \Rightarrow \limits_G^* w$

那么，可以得到

$L\left(G \right) = \left\{ {u{v^i}w{x^i}y|i \ge 0} \right\}$

其中当v和x的重复次数相同且为非空串时，则这个文法肯定就是真正的上下文无关文法。因为这种周期形式是正规文法所不具有的。比如这种

$c{a^i}d{b^i}$

就是必须要用真正的上下文无关文法。

<

最低0.47元/天解锁文章

关注

2
点赞
踩
14

收藏

觉得还不错? 一键收藏
1
评论
复制链接

分享到 QQ

分享到新浪微博

扫一扫

专栏目录

评论 1

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。