context-free-grammar

3熱

1答えて

私は、プログラミング言語開発者がどのように文法が正しいかを検証し、証明する方法を知っています。私が新しいlangaugeのための新しい文法を作ったとします。私は、さまざまな種類のテストプログラムを提供することによって、単位テストツールで文法をテストできます。しかし、私は文法が正しいことを決して100％保証しません。どのようにして言語デベロッパーは文法が現実世界で正しいことを保証しますか？たとえば

0熱

1答えて

は、通常、文脈自由、またはその他と分類されます

誰かがこれらの質問に答えることができ、私のためにそれを黙ってください、私は完全にアイデアを把握していません。私は、「ターミナルは正確に何か？」「wは何を意味するのか？ここでの本当の質問は、通常、文脈自由、またはその他のものとして分類してください。 a）{a^nb^na^n}∩は偶数です。 B）（^ NB^N）∪回文 C）A^N + m個のB^m個のA^2N 分類して説明してください。

0熱

1答えて

文法を証明する方法はあいまいですか？

私は文法にはあまり新しく、以下の文法がどのように曖昧であるかを誰かがパーズツリーを使って判断するのを助けることができるのだろうかと疑問に思っていましたか？私はそれが作成することができる2つの異なる文字列を持つ必要があることを知っています。 S -> (S)|SS|() 私はDEF正規形とgreibachをチョムスキーするためにそれを変換することができますが、あいまいさは、これらを私に厄介です。

0熱

2答えて

LR省略記号

後続の関数パラメータの（1）BNF文法IはThe Complete Syntax of Luaからこれら二つの規則によって記述言語のBNF形式でLR（1）文法を記述したいと思います。私が試みた parlist ::= namelist [`,´ `...´] | `...´ namelist ::= Name {`,´ Name} 以下の文法が、私は使用していますツールによると、両方の「シフ

0熱

1答えて

a（）が関与しているときに解析ツリーをどのように行うのかよく分かりませんか？

私は、次の文法があります E -> E+T | E-T | T T -> T*F | T/F | F F -> i | (E) そして、この文字列： (i+i)*i 私をめちゃくちゃにされています私は（）さんを組み込むだろうか？試み： E - > T T = Tの左サブブランチ - > F - の>私ミッドブランチ= * 右サブブランチ（E - > i、T - >

0熱

2答えて

cfgパーサーで左再帰を解決するにはどうすればよいですか？

この左回帰はどのように解決できますか？私は解決策を見つけるのに長い時間を使いましたが、私はそれに苦しんでいます。文：ボブはマックスの車を与える。私がここに示したかった主なポイントは、発生する左回帰です。 NP - > NPですが、どうすればこの問題を解決できますか？ Python3でこのコードを実行するとクラッシュします。 import nltk.grammar grammar = nltk.

1熱

3答えて

L = {2^x * 2^y * 2^z = 2 ^（x + y + z）の文脈自由文法。 x、y、z> 0}

タイトルが説明しています。私は "方程式"の左辺を右辺に同期させることに問題があります。なぜなら、左辺に2を生成するたびに、右辺に1つずつ表示する必要があるからです。この言語は文脈自由ではないのでしょうか？ありがとうございます！ L = {2^x ∗ 2^y ∗ 2^z = 2^(x+y+z) | x, y, z > 0} 編集：これは、数学の方程式とは何の関係もありません。「*」と「=」は、

1熱

1答えて

これは私の文法をあいまいにしますか？

okが内部のものが{}オプションです <Exp> -> <Term> <EXp> -> <Term> {<AddOp> <Exp>} <Term> -> <Factor> {<MultOp> <Term>} <Factor> -> <id> | <no> | (<Exp>) 私は、次の文法を持って言うことができます。だから私は技術的にexp-> termまたはterm-> Factorを

1熱

1答えて

2つのコンテキストフリー言語の設定の相違は、コンテキストフリーですか？

私はインターネットで検索しましたが、文脈自由言語は、組合、連結、逆転、およびKleene Starのために閉じられていると言います。彼らはまたセットの違いのために閉鎖されていますか？