计算引论8 上下文无关语言识别算法.pptVIP

计算引论 第三章 文法与语言 第三章 文法与语言 3.1 语言的基本概念 3.2 有限自动机 3.3 上下文无关语言 3.4 上下文无关语言识别算法 3.4 上下文无关语言识别算法 定义：任意串ω∈T*， ω=X1X2…Xi…Xi+j-1…Xn， 将ω的一个子串Xi…Xi+j-1记为ωij，则有： 3.4 上下文无关语言识别算法 |ωij|=j (j0)，为串的长度，且： ω11=X1 ω21=X2 … ωi1=Xi … ωn1=Xn ω1n=X1X2…Xi…Xi+j-1…Xn=ω 3.4 上下文无关语言识别算法 算法设计思想： 欲证明S ω，因为任意串均可以转换为乔姆斯范式，有： 1、对于|ω|＝1，则只需要检查(S?X1)∈P是否成立即可。 3.4 上下文无关语言识别算法 2、对于|ω|≥2，设有一个非终极符?，则只需证明（S??） ω，欲证明S??，则应先S?两个非终极符，设为BC，即S?BC，问题归结为BC ω是否成立。 3.4 上下文无关语言识别算法 3、如果BC ω成立，可以认为串ω是由两部分组成，一部分由B推出，另一部分由C推出，因此，存在k（k≥1，k≤n-1），使得： B ω1k，从X1开始，长度为k