J-STAGE Articles - LR構文解析の原理 https://t.co/PGk6yE2Xgq

他の方のご参考まで、プログラムの意味論については https://t.co/dk3Nj2Yygj などをば。自分の記事ですみませんが:-)この分野ではごく基本的な内容かつ（おそらく）最も初歩的な記事だと思います！ 文脈等価性は書いてありませんが整数なら「簡約した結果の値が等しい」でOKです。