上下文无关语言CFL判定问题.pptVIP

上下文无关语言(CFL)的判定问题  问题描述 上下文无关文法（Context-Free Grammar, CFG）是一个4元组G=(V, T, S, P)，其中，V和T是不相交的有限集，S∈V，P是一组有限的产生式规则集，形如A→α，其中A∈V，且α∈(V∪T)*。V的元素称为非终结符，T的元素称为终结符，S是一个特殊的非终结符，称为文法开始符。 设G=(V, T, S, P)是一个CFG，则G产生的语言是所有可由G产生的字符串组成的集合，即L(G)={x∈T* | Sx}。一个语言L是上下文无关语言（Context-Free Language, CFL），当且仅当存在一个CFG G，使得L=L(G)。 *? 例如，设文法G：S→AB A→aA|a B→bB|b 则L(G)={a^nb^m | n,m=1} 其中非终结符都是大写字母，开始符都是S，终结符都是小写字母。 编程任务： 给定一个上下文无关文法的n条产生式规则，编程判断该文法对应的语言是否为空。若为空，则输出yes，否则输出no。 数据输入： 由文件input.txt提供输入数据。文件的第1行是规则数n。接下来n行是具体的规则，每行的开始是规则的左边，接着是规则的