形式语言与自动机课件——语言及文法.ppt

* College of Computer Science Technology, BUPT 例2： G = ({A,B,C}, {a,b,c}, P, A) P: A→abc A→aBbc Bb→bB Bc→Cbcc bC→Cb aC→aaB aC→aa 是1型文法。 其定义的 L = {anbncn | n≥1} A =abc A =aBbc =abBc =abCbcc =aCbbcc =aabbcc =aaBbbcc * College of Computer Science Technology, BUPT 例3： G = ({S,B,C}, {a,b}, P, S) P: S→aC；S→bB；B→aS；B→bBB B→a； C→bS；C→aCC；C→b 是2型文法 S =aC =ab S = aC =aaCC S =aC =abS =abaC =ababS =ababaC =ababab S =bB =bbBB =bbaSB =bbaaCB =bbaabB =bbaaba * College of Computer Science Technology, BUPT 例4： G = ({A,B,C}, {a,b,c}, P, A) P: A→Ba； A→c； B→Cb；