問題タブ [context-sensitive-grammar]

CSG は CFG に似ていますが、reduce シンボルは複数です。

では、CFGパーサーを使用してCSGを解析し、生産を複数の端末または非端末に減らすことはできますか?

お気に入り

会ったら にW X還元できW XますW Bか？

会ったら にW B還元できW Bますc Bか？

CSG パーサーが CFG パーサーに基づいている場合、書くのは難しくありません。

しかし、wiki を確認したところ、CSG を解析するように言われました。使用する必要がありますlinear bounded automaton。

とはlinear bounded automaton?

私は正規表現の初心者です。私はそれらを読んでいますが、「-」記号が何を意味するのかさえわからないので、まだよくわかりません. サンプル 1 を作成して、手順を説明してもらえますか? これをどうするか？

基本的に、この構文は文字列を逆に追加したものです。

これは一致するはずです：

これは一致しないはずです:

ご助力ありがとうございます！

まず、私はコンピュータ サイエンスを勉強したわけではありません。興味があるだけです。

たとえば、変数を使用する前に変数を宣言する必要があることは、プログラミング言語のコンテキストに依存する側面であると読みました。

私の質問は次のとおりです。実際のコードとともに、「使用する前に変数を宣言する」に相当するプロダクション ルールを提供していただけますか?

状況依存のプロダクション ルールはまだ見たことがありません。それが後でコード内で実際にどのように見えるか、またはその逆で、コードを見てからプロダクション ルールを導出するかが明確でした。

あるいは、状況依存の他の機能や Java かもしれません (ジェネリックも状況依存ではありませんか?)。

編集：

例として：

https://en.wikipedia.org/wiki/Context-sensitive_grammar#Examples

この文法が使用されていることを示すコードを提供できますか? この文法は、実際のプログラムではどのように見えるでしょうか? ただ、これらの aabababccbab 型の例は少し抽象的です。

そのため、コンテキスト依存の構文解析器を実装しています。それは一種の実験的なものであり、私が必要としているものの 1 つは、それをテストするために使用可能で実用的な構文構造です。

たとえば、次の例は、標準の CFG (文脈自由文法) を使用して解析することはできません。基本的に、無関係なデータ型の複数の変数を宣言し、それらを同時に初期化することができます。

いくつかの詳細を省略すると、次のように正式に説明できます。

L = {anbncn | n >= 1}

ですから、考えられる限り多くの同様の例をいただければ幸いですが、それらは実際に実用的なものでなければなりません。実際のプログラマーが高く評価するもの。

「Algoritmic Beauty of Plants」の ContextSensitive L-system の実装に取り​​組んでいますが、本と同じ結果が得られません。

私がこのような公理を持っているときに私が正しく理解した場合:

と

変更点は1つだけ

の中へ

[]では、どのようにサインを解釈すればよいのでしょうか? 私はそれを省略していますか、それとも何ですか？

私はこれを試しました

出力あり

ご覧のとおり、2 番目の解析は失敗します。最初の生産で失敗すると、2 番目の代替案を試すことができなくなるようです。実際には、最初の識別子の値に応じて、これまたはそのパーサーを選択して続行したいと考えています。

さまざまなレベルのチョムスキー階層を理解しようとしています。

私はいくつかの例をチェックしましたが、ここに私が本当に理解していないものがあります。これが文脈依存言語ではない理由を誰かが知っているかもしれません: