私はCFG Gと終端記号aを入力とするアルゴリズムを設計しようとしており、S(Gの開始規則)が始まる文脈形式とともに。すなわち、S => *aαとなるような(T U N)*中の文字列αが存在すれば、それ以外の場合はnoを出力する。例えば、文法がS - > [S] | SS | ε、a =]の場合、答えはノーです。私はコードを探していません、私は擬似コードでこのトピックにどのようにアプローチすべきかを理解しようとしています。文脈自由文法のアルゴリズム
3
A
答えて
2
X
には、a
で始まる文字列を派生させる方法が3つあります。
- フォーム
X -> a...
- のルールは
X -> A...
とA
がa
で始まる文字列を導出し、フォームのルールがありますあります。 X -> B A...
とB
は、ε
を導出し、A...
はa
で始まる文字列を導出します。あなたはどちらの形式S -> ...
のそれで始まる文法のすべてのルールを見て、適用されたアルゴリズムを構築し、それならばRHSは、端末または両方のチェック2と3で始まる場合は1をチェックするためにこれらを使用することができます
非終端記号で始まります。各チェックは、ブール値を返す(おそらく再帰的な)関数に対応しています。
興味深い1つの詳細は、文法のサイクルを処理する必要性です。 A -> A a
のような単一の規則だけでなく、A -> B...
,B -> C...
、C -> A...
のような単一の規則。注意しないと、相互に再帰的なチェックは無限に繰り返されます。私はあなたにそれをお伝えします。奥行きの最初の探索がグラフ内のサイクルを永遠に回避する方法について考えてみましょう。
もう1つの詳細は、特定の非終端記号Bがε
を導出するかどうかを判断する方法です。あなたは自分自身でそれを動かすことができるはずですが、他のすべてが失敗した場合は、「nullable non-terminal」を参照してください。あなたはよく知られている小さなアルゴリズムを見つけるでしょう。
チェックのいずれかが肯定的である場合は、はいを返します。それ以外のルールの網羅的な適用は決して見つけられませんでした。戻りません。
2
予測が停止するまでEarley parserのプレディクタを実行し、問題のターミナルで始まるルールが生成されるかどうかを確認できます。
最初の入力として問題の端末を受け入れるすべての非終端記号をマークし、既にマークされた非終端記号を受け入れるすべての非終端記号に最初の入力としてマークし、完了まで繰り返すマークされた非終端記号のセットに含まれています。
関連する問題
- 1. NLTK文脈自由文法
- 2. 文脈自由文法の解析
- 3. NLTK文脈自由文法の制作
- 4. 文脈自由文法変換
- 5. 文脈自由文法 - 計算理論
- 6. 文脈自由文法と逆転
- 7. Cのための文脈自由文法
- 8. 文脈自由文法の一部大きな謎
- 9. 文脈自由文法の左回帰規則
- 10. 文脈自由言語の連合
- 11. 正規表現を記述する文脈自由文法?
- 12. 音声認識用文脈自由文法を作成する
- 13. ネストと不等式を持つ文脈自由文法
- 14. Chomsky Normal Formで文脈自由文法を構築する
- 15. 任意の正規表現から文脈自由文法を生成するアルゴリズム
- 16. 文脈自由へのプッシュダウンオートマトン:それを行う方法?
- 17. 文脈自由文法を残す方法を教えてください。
- 18. 次の言語のための文脈自由文法を書く
- 19. 文脈自由文法と対応するPDAを取得するには?
- 20. 文脈依存文法
- 21. PHPは完全に文脈自由言語ですか、文脈依存部分を持っていますか?
- 22. 文脈自由パーサー文法を作成するための対話型ユーティリティーを探してください
- 23. 文脈自由文法を左と右の再帰的にすることができますか?
- 24. Pythonで内部DSLとして文脈自由な設計文法を表現するには?
- 25. 文脈自由文法を書くにはどうすればいいですか?
- 26. OpenGL文脈紛失
- 27. IHttpHandlerの文脈の問題
- 28. Dojoチャートの文脈メニュー・アクション
- 29. 文脈依存文法から線形限定オートマトンに移行するアルゴリズムはありますか?
- 30. 文脈に応じたスペリングエンジン