問題タブ [computer-science-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.
multithreading - 相互排除なしでデッドロックが発生する可能性はありますか?
デッドロックに必要な条件の 1 つは相互排除であり、一度に 1 つのスレッドだけがロックを保持できるという話をよく耳にします。
しかし、ミューテックス以外のロックがデッドロックを引き起こす可能性があると考えるのは間違っていますか?
最大 2 つのスレッドが保持できるセマフォの単純なケースを考えてみましょう。A と B という 2 つの 2 セマフォがあるとします。プロセス A1、A2、B1、B2 の 4 つのプロセスがあるとします。
プロセス A1 と A2 がそれぞれセマフォ A をグラブし、プロセス B1 と B2 がセマフォ B をグラブするとします。A1 と A2 の両方がセマフォ B を必要とし、プロセス B1 と B2 の両方がセマフォ A を必要とするポイントに達した場合、それぞれが現在のロックを放棄することはありません。 、セマフォは 2 つのプロセスでしか保持できないため、デッドロックが発生します。しかし、セマフォでは 2 つのプロセスがそれを保持できるため、相互に排他的ではありません!
これが間違った推論なのか、それとも相互排除の私の解釈が間違っているのか、誰か説明してもらえますか?
php - PHPをインストールする場合、実際には何をインストールしますか?
パラダイム的/哲学的な質問かもしれませんが、「PHPをインストールする場合、何をインストールしますか?」とかなり長い間疑問に思っていました。それはインタープリター/コンパイラーですか、それとも言語構成要素 (関数、構文要素など) ですか、それともまったく別のものですか?
私はphpの専門家ではなく、コンピューターサイエンスも持っていないので、本当に理解するのは難しいと思います...
math - オートマトンの前提条件の理論
プログラミングとコンパイラ設計の理解を深めるために、オートマトン理論に興味があります (たとえば、自分のプロジェクトでいくつかの単純な構文を作成したいと考えています。たとえば、L システム、AI、ニューラル ネットワーク構造、インテリジェントなオブジェクト間会話 'AI dialog') しかし、先に進む前に学ぶ必要があることがあります。
オートマトン理論を学ぶ前に学ぶ必要のある新しい記号と数学的概念がたくさんあります。記号のために例をコピーして貼り付けることができませんでした。また、画像を投稿するために必要な評判がないため、wiki へのリンクを聞いています。論文。
「適切な CFG」という見出しの下に、いくつかの定義が表示されます。私はそれらを理解していません。Googleで検索できるように、この表記が何と呼ばれているか教えてください。他のポインタや情報も役に立ちますが、いくつかのキーワードを知っているだけでも役に立ちます。また、無料でアクセスできる包括的なリソースを誰かが知っていれば、たとえば、その記法に関する IIT ビデオ講義などを知っていれば、私は今のところ個別指導や教科書さえも買う余裕がないので、永遠に感謝します.
私がオートマトン理論のために現在使用しているリソース (興味のある人向け) は、YouTubeの Theory of Automata IIT Lecturesです。
traveling-salesman - 巡回セールスマンの定式化の明確化
巡回セールスマン問題の研究を行っていますが、それがどのように定式化されているかについて質問があります。または、これはサブ問題の分類または名前、または問題のバリエーションに関する質問かもしれません。
巡回セールスマンの問題では、空間内の都市の配置と都市間の距離を測定して、重み付けされた接続を持つグラフを形成します。または、都市を配置することが不可能になる場合でも、エッジの重みを任意に選択できますか?地図上？
そのうちの 1 つが標準的な巡回セールスマン問題と見なされる場合、もう 1 つの名前はありますか?
context-free-grammar - 文脈自由文法の派生
最終的には、次の CFG をチョムスキー標準形に変換したいと考えています。
ただし、派生を正しく行っているかどうかはわかりません-ここに私が持っているものがあります:
非端末を端末に置き換える
これが正しい/正しい軌道に乗っているかどうか誰かに教えてもらえますか?
ありがとうございました。
context-free-grammar - CFG が言語を生成することの証明
同じ数の a と b を持つ偶数回文で構成される言語の CFG を構築し、それがその言語を生成することを証明する必要があります。
これは私が得たCFGです：
S→ アバ | バアブ | 腹筋 | バサブ | ε
それを証明するために何をすべきかわからない（論理的にこれを思いついた）...誰かが私を正しい方向に向けることができれば、私はそれを感謝します。ありがとうございました！
algorithm - アルゴリズムの複雑さでログが頻繁に現れるのはなぜですか?
この質問は、並べ替えや検索などのログインの問題の出現につながるソリューション間に抽象的な類似性があるかどうかに関するものです。または、もっと簡単に言えば、アルゴリズムの複雑さの中でログが頻繁に現れるのはなぜでしょうか?