formal-languages

2熱

1答えて

私はAgdaという言葉が初めてです。私はAgdaを使って正式な言語に取り組んでいます。言語の連結が連想的であることを証明する際にいくつか問題があります。 Agdaは、次のコードでは「++准」のための単語を見つけることができなかったと証明は、黄色の強調表示されます：「++准は、」リストの連結の結合性の証明である LangAssoc : ∀{Σ}{l1 l2 l3 : Language Σ}{w :

0熱

1答えて

正規表現をNFAトランジションテーブルに変換する

言語には関係ありませんが、正規表現をNFAテーブルに変換する方法を理解する必要があります。たとえば、 "（ab）* + ba"はになります。 T | | b |^ 0 | N | 1 | 2 1 | 3 | N | N 2 | 4 | N | 3 3 | N | N | N 4 | N | 2 | N 誰かが私の正しい方向を指すのを手伝ったり、これがどのように行われたかを私に示してくれれば大い

0熱

1答えて

CFGから生成するときに有効な次の端末の集合を決定する

文脈自由文法からランダムな文を生成しようとしています。各ステップの間に、生成される次の非終端記号は、この質問に無関係ないくつかの確率的基準に従って決定される。文法とこれまでに生成された部分文があれば、文法に従って次のステップで生成できる非終端記号の集合をどのようにして決定するのですか？以下は、BNFと部分的な世代における文法の例です。 <expr> ::= <term> "+" <expr> |

0熱

1答えて

チューリングマシンの設定

私はチューリングマシンにはかなり新しく、質問に困惑しています。 Q = {q、r、s、t}、Σ= {abc}、Γ= {B、a、b、q}となるようなチューリングマシンが与えられます。M =（Q、Σ、Γ、 c]、[t、a、r、b、R]、[q、b、r、a、R]、q、c、t、c、R] 入力abbaでMが停止するかどうかを確認するメッセージが表示されます。 Mが停止する構成を書いてください。答えはbrbba

1熱

1答えて

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

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

1熱

1答えて

'rot'演算子の必要性

Forthはなぜrot演算子を実装していますか？それはなぜスタックの最も上位の3つのアイテムで動作しますか？便宜のためだけであるか、そのような指示がないとチューリング完全ではありませんか？チューリングが完了するための最小実行可能なオプションの数は3つですか？ rotをpickまたはrollで実装できると思います。したがって、これらの3つの操作がない場合でも、Turing-completeとなりま

0熱

1答えて

言語文法の特徴は、それが解釈またはコンパイルされることを定義していますか？

言語文法上、解釈またはコンパイルされることを定義する要素または特性はありますか？あるいは、その言語を処理するコンパイラ/インタプリタの実装だけに依存しますか？

0熱

1答えて

ドット演算子がフィールドを参照するために使用されているか、またはAlloyでリレーショナルジョインを実行するためにドット演算子が使用されているときは、どのように知っていますか？

私は合金のドット演算子（正式なモデリング言語）について混乱しています。時には、私がリレーショナル・ジョインを実行すると、予想される出力が得られることがありますが、時にはsigのフィールドにアクセスするために使用されていると感じられ、リレーショナル・ジョインは機能しません。おかげで、ケビン