「aとbの列の中で、wwの形をしていないものを受理するためのCFGまたはPDAを教えてください。」 Tagged T | '' このCFGは、タグ生成の規則を表現しています。Sは開始記号で、aとbの間にタグを生成します。タグは複数生成することができ、カンマ区切りで生成します。Tはタグの生成規則を表現しており、T, タグ生成のCFGの一例は以下の通りです。 S -> a T b T -> T