問題タブ [language-theory]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票する
1 に答える
1077 参照

regular-language - 言語 a^nb^2n が 100 => n <= 0 のように有限である場合に限り、言語が規則的である可能性はありますか?

言語 a^nb^2n が 100 => n <= 0 のように有限である場合に限り、どのようにして正規である可能性がありますか?

n=>0 のとき ( a^nb^n ) のような形式の言語は規則的ではないことを私は知っています。これは、a と b の数を追跡するために一時メモリが必要であり、すべての有限言語が規則的であることを知っています。正規ですが、同様の形式の有限言語を正規にする理由がわかりませんか? どのように証明できますか?手がかりが必要です。同等の正規表現を取得できることに加えて、より詳細な説明が必要です..

ありがとう

0 投票する
1 に答える
65 参照

coq - 帰納型Coqからデータを取得する方法

私は Coq に少し慣れていないので、Coq 内の通常の文法を形式化しようとしています。次のような誘導型があるとします。

(a* b*)文法の派生規則を表します。後で使用するためにそれらを抽出したいとしましょう。これを実行してリストのリストに保存する方法はありますか? たとえば、私は私を返す手続きが欲しい[[S [inr a; inl S];S [inr b;inl S];[]]. 他のアイデアをいただければ幸いです。

前もって感謝します。