形式文法
再度規則1を選ぶと、' S {\displaystyle S} ' が ' a S b {\displaystyle aSb} ' に変換されるので全体として " a a S b b {\displaystyle aaSbb} " となる。この過程は最終的に本来の文字セット(つまり ' a {\displaystyle a} ' と ' b {\displaystyle b} ')だけから構成される文字列になるまで続けられる。さて、終了させるために規則2を適用すると ' S {\displaystyle S} ' が ' b a {\displaystyle ba} ' に変換されるので、最終的に " a a b a b b {\displaystyle aababb} " を得る。この過程をまとめると S ⟶ a S b ⟶ a a S b b ⟶ a a b a b b {\displaystyle S\longrightarrow aSb\longrightarrow aaSbb\longrightarrow aababb} となる。この文法による言語はこのような過程で生成される全文字列 { b a , a b a b , a a b a b b , a a a b a b b b , . . . } {\displaystyle \left\{ba,abab,aababb,aaababbb,...\right\}} を含む。