formal-languages

2熱

1答えて

行列やベクトルを含む式の性質を証明したいと考えています（サイズは大きくなる可能性がありますが、サイズは固定されています）。 Iは、式の結果は、対角行列または三角行列である、またはそれは、正定であることを証明したい例えば ... そのために私は、エンコードよく知られた特性をたいと思いますし、以下のような線形代数からアイデンティティ、： ||x + y|| <= ||x|| + ||y|| (A *

1熱

1答えて

A、B、Cを流行させる。方程式X = AX + BX + Cを考えてみましょう。

A、B、Cを流行させます。方程式X = AX + BX + Cを考えてみましょう。この質問を解決するお手伝いをしてもらえますか？ fadは通常の言語です

1熱

1答えて

ゼッド仕様：プロモーションや操作を複数のスキーマを適用

私はDataスキーマのシーケンスを追跡Arrayスキーマを持っています。プロモーションを使用して、Arrayで使用するIncrementの操作を宣伝できます。 ArrayIncrementは、Arrayの中で1つのデータをインクリメントします。ごとにDataを入力して\ran dataに増やす方法を教えてください。

-1熱

1答えて

DFAで受け入れられる言語をより洗練された方法で表現できますか？

私は2つのDFAを与えられます。 *は最終状態を示し、 - >はアルファベット{a、b}で定義される初期状態を示す。 1） - > Aの場合はA→Aへ、bの場合は* Bへ行きます。 *付きのBは* Bになります。 * Bは - > Aに行きます。このため、正規表現は明らかである： EはL1である= {W上{A * Bの（* +（*のBAの*のBA *）*）そして、それが受け入れる言語= 、b}

-3熱

1答えて

この回答を理解できますか？

私は現在試験のために勉強しています。私は教授が答えを間違っていると確信しています。私はあなたの考えを聞きたいと思います。質問はこの文法を提示：質問は受け付けておりませんでも、長さのすべての単語のためのルールを記述する意味でも長さのSの言語反対（Sの補数）を定義するように求められます私は言葉「aaabab」もSで受け入れられないと彼らの答えは説明し、自身に連結言葉ではないだろうとして、この答えは

-1熱

2答えて

aがbの直後にない正規表現を見つける

すべての文字列の言語のための簡略化された正規表現を見つける必要があるのa、b、およびcのうち、 b。そう、これは単純化することができる場合私が何かをしようとした*（A + C）* C（B + C）* +（B + C）*（+ c）はまでに達したが、この細かく、？ありがとうございます。あなたは否定後読みを探している

0熱

1答えて

言語から文脈自由文法への移動

与えられた言語K = {e^h f^i | 2h> i> h}私は文脈自由文法を生成する必要があります私が思いついた生産ルールのいくつかは次のとおりです：S→eeTfffとT→eTff | ε n = m + 1の場合にのみ機能しますが、2h> i> hのすべての組み合わせに対してルールを生成する方法はわかりません。

2熱

1答えて

合金の中で実行中に「インスタンスが見つかりません」という原因を発見する方法はありますか？

私は合金を使用してモデルで書いています。しかし、ある条件では、述部を実行してインスタンスを見つけることができず、インスタンスが見つからないと言います。私は約16インスタンスにバインドを増加しようとしましたが、インスタンスが見つかりません。これをデバッグする方法はありますか？どのような事実が原因で合金がインスタンスを見つけることができないのか分かりますか？ありがとうございます！

0熱

1答えて

形式言語NPDAグラフ

私は私がNPDAによって行わ動きのシーケンスを作成する方法を知りたい、この言語のNPDAを描画しようとしているが、それにを得るように見えるカント入力シーケンスw = aacb。文字列wは受け入れられていますか？私はちょうどカントがスタックに触れることなく、この

3熱

1答えて

なぜCoqはそれ自体で平等の対称性を理解できないのですか？

このように、我々はいくつかの（半）グループ論的性質を形式化しようとしていると仮定します。つまり、我々は上記の定義のいずれかの式を逆転場合 Section Group. Variable A: Type. Variable op: A -> A -> A. Definition is_left_neutral (e: A) := forall x: A, (op e x) = x. De