语言的形式定义直接推导、推导、广义推导

文章探讨了形式语言中的推导概念,包括直接推导、推导和广义推导。直接推导指使用一次规则式从一个符号串得到另一个,其长度为1。推导则涉及多次应用规则,长度大于等于1。广义推导允许零次或多次应用规则,长度大于等于0。举例说明了这些概念在规则式G[S]:S->0S1|01中的应用。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

1、直接推导


设x和y是符号串,如果使用一次规则式可以从x推导出y,则y为x的直接推导,记为x=>y

EX:已知G[S]:S->0S1|01,则直接推导有:

 2、推导


若使用若干次规则式可从x推导出y,称y为x的推导(或正推导),记作为:


EX:已知G[S]:S->0S1 | 01,则推导有:

3、广义推导


三者间的区别


直接推导的长度 = 1

推导的长度1

广义推导的长度 0

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

会做饭的网络工程师

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值