32语言和文法 328非上下文无关的语言构造 L1={ wCw w属于(a|b)} 标识符的声明应先于其引用的抽象 L2={"b"c"tmn≥0,m≥0} 形参个数和实参个数应该相同的抽象 L3={"b"c"|n≥0} 早先排版描述的一个现象的抽象 begin:5个字母键,5个回退键,5个下划线键3.2 语言和文法 3.2.8 非上下文无关的语言构造 • L1 = {wcw | w属于(a | b) * } –标识符的声明应先于其引用的抽象 • L2 = {a nb mc nd m | n 0, m 0} –形参个数和实参个数应该相同的抽象 • L3 = {a nb nc n | n 0} –早先排版描述的一个现象的抽象 b e g i n:5个字母键,5个回退键,5个下划线键