#1と#3で示した二種類の構文規則からyacc/bisonが生成した構文解析器に関して、 yacc/bisonは-vオプションを付けると、 構文規則から導かれるLR項の集合を個々の状態とする、 構文解析に伴う解析器の状態遷移の詳細を得ることができる。 この詳細によれば、#…