問題タブ [context-free-grammar]

コンパイラに関する本の章には、次の文法定義とサンプル コードがあります。

コードの最も内側のwhileループは、なしでどのように有効です{ }か? ステートメント定義にはそれらが必要であるように見えます。これは本の間違いですか、それとも構文を誤解していますか?

[編集]あいまいさをお詫びします。上に入力したものはすべて、本からの逐語的なものです。省略は私のしたことではありません。

典型的なコンパイラコースを構成するオンラインコース/大学の講義を知っている人はいますか? 私はコンピューティングの理論を持っていましたが、残念ながら私の学校ではコンパイラ構築のコースを提供していませんでした。

そこに講義があることは知っています。特に優れた製品の推奨事項を期待していました。

また、この分野の初心者向けの本はありますか? 少なくともドラゴンブック以外の何か。初級者レベルは問題ありません。市場には中級者向けのテキストがたくさんあることは知っています。

ありがとう！

1のアルファベットが与えられた場合、フォームの加算を解析したい

これは、最初の2つの1のそれぞれのスタックに1をプッシュし、最後の1のセットをポップするだけで、プッシュダウンオートマトンで表すのは非常に簡単です。ただし、これを文脈自由文法として表現する方法がわからないようです。これは、PDA==CFGであるため明らかに可能です。

次の文法の左再帰をなくす方法は?

一般的な手順を使用します。

に変換:

これを元の文法に適用すると、次のようになります。

したがって：

しかし、この文法は間違っているようです。

は有効ですが、これは正しくない後置式です。

私のプログラムは、以下を関数宣言として認識できるはずだと思います。

しかし、そうではありません。

これが私のyaccファイルの関連部分です：

なぜそれを認識しないのですか？

コンパイラ クラスでは、C の簡易バージョンである作成言語用のパーサーを作成しました。パーサーが行うのは、入力に基づいてシンボル テーブルを作成し、構文が正しくない場合はエラー メッセージを表示して終了することだけです。次に、この言語で書かれた入力ファイルを取り、それを mips コード (実際には Linux の mips である spim コード) に変換する必要があります。なぜシンボル テーブルが必要なのですか? シンボルテーブルなしで実行できますか?

次のように定義された文法があります。

A正規表現ですか？BNF 文法の解釈方法について混乱しています。

私は現在、LL(1) 形式に取り組めることを望んでいる BNF 文法で遊んでいる最中です。しかし、今日で 3 回目の文法の変更と新しい FIRST および FOLLOW セットの計算を手動で行ったばかりで、もううんざりしています。もっと良い方法があるはずです！

文法が与えられた場合、すべての非端末の最初のセットと次のセットを自動的に計算するツールを誰かが提案できますか?

与えられた次の文法

非終端記号の最初と次は何ですか？

文法がに変更された場合

最初とそれに続くものは何ですか？