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
语言的形式定义直接推导、推导、广义推导
猜你喜欢
转载自blog.csdn.net/qq_50942093/article/details/129842638
今日推荐
周排行