非終端記号の<string>と<marked-string-body>はその生成規則が全く同じである。 分けて定義しているのは構文規則のレベルで両者を区別できるようにするためだった。 しかし、この二つは字句解析段階で一種類の字句として抽出した方が構文規則がシンプルになっていいという考え方もあるだ</marked-string-body></string>…