コンパイル原理 - SLR (1) 構文アナライザー (C/C++ コード実装)


0 実験目的

SLR(1) パーサーを設計、コンパイル、実装、デバッグして、パーサーの理解を深めます。

1 実験要件

コンパイル理論コースで学習した算術式文法と文法のLR解析表に従って、C言語を使用して算術式を入力として受け取る文法アナライザを作成し、コンソール(またはテキストファイル、またはそれと組み合わせて)で完成させます。字句アナライザー) ) を入力として使用すると、コンソール (またはファイル) が生成シーケンスの形式で分析結果を出力します。

2 実験内容

LR構文アナライザの実現、実行処理例:id+id*idを解析し、PPT上の予測解析テーブルに従ってid+id*id#を入力し、ポップされて出力された内容を解析します。
文法:
E'->E
E->E+T
E->T
T->T*F
T->F
F->(E)
F->id

3 実験のアイデア

1. まず、最も重要な SLRScanner() 関数 (SLR 文法解析用)、statestack() 関数 (出力状態スタック)、signstack() 関数 (出力シンボル スタック)、print( ) 関数 (残りの文字列出力)、Action() 関数 (分析および出力アクションの説明用)、xfind() 関数 (予測分析変数の検索用)、yfind() 関数 (予測分析テーブルの列変数の検索用)。次に、予測分析テーブルを格納するために文字列の 2 次元配列が定義され、拡張文法を格納するために 2 次元の文字配列が定義され、シンボル スタックと状態スタックの 2 つのスタックが定義されます。
2. この実験プログラムで最も重要なのは SLRScanner() 関数です 次に、これを簡単に分析します: 最初に、フラグ変数 flag が 0 に等しい (初期シフト演算を行う)、次のテーブル検索を容易にするために行変数と列変数を継続的に更新し、0、# をそれぞれ状態スタックとシンボル スタックにプッシュします。次に、xfind 関数と yfind 関数を使用して、行変数と列変数を検索して値を代入し、対応する予測分析テーブル内のデータを判断します。0 に等しい場合は、文法に準拠していないことを返します。そうでない場合は、対応するシンボルと状態をそれぞれシンボル スタックと状態スタックにプッシュし、同時に残りの文字列と対応するアクションの説明を出力します。「s」と等しい場合は flag を 0 に設定し、そうでない場合は 1 に設定します。flag が 1 の場合、指定を実行します (SR(1) と対応する拡張文法を比較し、同時にシンボル スタック、状態スタック、残りの文字列、アクション記述を操作し、対応する生成式を出力します。)を2に変更し、goto後にシフト演算を行った後、予測分析テーブルと比較し、SRが0であればテーブル参照の結果が間違っていることを示し、SRがaccと等しい場合はプログラムを終了し、出力文字列は文法に従っています。
3. 他の関数もさらに重要です。これらは SLR 文法解析関数で呼び出されます。スタックの操作を通じてシンボルと状態の出力が実現され、プログラムが大幅に簡素化されます。アクション関数はアクションの記述の出力に役立ちます。 xfind と yfind は予測分析テーブルの検索に役立ち、どちらも不可欠な役割を果たします。

4 実験コード


5 実験結果


6 実験の概要

这个实验要求不尽相同,需要改一下,可以与我私信讨论。

7 实验程序以及实验报告下载链接

编译原理实验:包括实验一词法分析器,实验二进制分析,实验三语法分析器,实验四SLR语法分析器等其中含有实验报告,实验代码等等-C++文档类资源-CSDN文库

おすすめ

転載: blog.csdn.net/qq_58773908/article/details/128567906