論文の概要: Undecidability in Finite Transducers, Defense Systems and Finite
Substitutions
- arxiv url: http://arxiv.org/abs/2111.15420v1
- Date: Tue, 30 Nov 2021 14:14:32 GMT
- ステータス: 処理完了
- システム内更新日: 2021-12-01 19:54:52.701674
- Title: Undecidability in Finite Transducers, Defense Systems and Finite
Substitutions
- Title(参考訳): ファイナントトランスデューサ, ディフェンスシステム, ファイナント代替品の不確定性
- Authors: Vesa Halava
- Abstract要約: 正規言語 $b0,1*c$ 上の有限置換の同値性の決定不能性の詳細な証明を示す。
この証明はLeonid P. Lisovikの業績に基づいている。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this manuscript we present a detailed proof for undecidability of the
equivalence of finite substitutions on regular language $b\{0,1\}^*c$. The
proof is based on the works of Leonid P. Lisovik.
- Abstract(参考訳): この原稿では、正規言語 $b\{0,1\}^*c$ 上の有限置換の同値性の決定不能性の詳細な証明を示す。
この証明はLeonid P. Lisovikの業績に基づいている。
関連論文リスト
- Equivariant Frames and the Impossibility of Continuous Canonicalization [11.267186160107949]
非重み付きフレーム・アブラッシングは滑らかで非対称な関数を不連続な対称関数に変えることができることを示す。
我々は、点クラウド上の$SO(2)$,$SO(3)$,$S_n$の作用に対して、効率的で連続的な重み付きフレームを構築する。
論文 参考訳(メタデータ) (2024-02-25T12:40:42Z) - Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs [102.00359477458029]
本稿では,ニューラル・シンボリック統合法について述べる。
LLMフリーのシンボリック・ソルバを用いて、知識を用いた熟考的推論を行う。
論文 参考訳(メタデータ) (2023-11-16T11:26:21Z) - Unclonable Non-Interactive Zero-Knowledge [13.011345529764787]
非対話的ZK(NIZK)証明は、秘密を明かさずにNPステートメントの検証を可能にする。
本稿では,クローン化が不可能なNIZK証明システムを構築するために,量子情報に頼ることが可能かどうかを問う。
論文 参考訳(メタデータ) (2023-10-11T01:32:36Z) - Decidable Fragments of LTLf Modulo Theories (Extended Version) [66.25779635347122]
一般に、fMTは、任意の決定可能な一階述語理論(例えば、線形算術)に対して、テーブルーベースの半決定手順で半決定可能であることが示されている。
有限メモリと呼ぶ抽象的意味条件を満たす任意のfMT式に対して、新しい規則で拡張されたテーブルーもまた終了することが保証されていることを示す。
論文 参考訳(メタデータ) (2023-07-31T17:02:23Z) - A first-order logic characterization of safety and co-safety languages [63.29821624186913]
有限の接頭辞が、ある単語が言語に属していないか、属していないかを確立するのに十分である安全で共同安全な言語は、モデル検査や反応合成のような問題の複雑さを下げる上で重要な役割を果たす。
本稿では,安全性とコセーフティ言語に関して,FO-TLOの断片であるSafetyFOと,その二重コセーフティについて述べる。
論文 参考訳(メタデータ) (2022-09-06T09:00:38Z) - Generating Natural Language Proofs with Verifier-Guided Search [74.9614610172561]
NLProofS (Natural Language Proof Search) を提案する。
NLProofSは仮説に基づいて関連するステップを生成することを学習する。
EntailmentBank と RuleTaker の最先端のパフォーマンスを実現している。
論文 参考訳(メタデータ) (2022-05-25T02:22:30Z) - Provable Adversarial Robustness for Fractional Lp Threat Models [136.79415677706612]
分数L_pの「ノルム」で区切られた攻撃はまだ十分に検討されていない。
いくつかの望ましい性質を持つ防衛法を提案する。
証明可能な(認証された)堅牢性を提供し、ImageNetにスケールし、(高い確率ではなく)決定論的保証を得る。
論文 参考訳(メタデータ) (2022-03-16T21:11:41Z) - Integral Fluctuation Theorem for Microcanonical and Pure States [0.0]
孤立量子系に対する積分ゆらぎ定理(IFT)を導出する。
2つの模範系を解析することにより、IFTと仮定の妥当性を数値的に検証する。
論文 参考訳(メタデータ) (2021-02-24T14:05:06Z) - Prove-It: A Proof Assistant for Organizing and Verifying General
Mathematical Knowledge [0.0]
Prove-ItはPythonベースの汎用的対話型定理証明アシスタントである。
Prove-ItはフレキシブルなJupyterノートブックベースのユーザーインターフェイスを使って、対話や証明の手順を文書化している。
現在の開発と今後の研究には、量子回路操作と量子アルゴリズム検証への有望な応用が含まれている。
論文 参考訳(メタデータ) (2020-12-20T18:15:12Z) - A refinement of Reznick's Positivstellensatz with applications to
quantum information theory [72.8349503901712]
ヒルベルトの17番目の問題において、アルティンはいくつかの変数の任意の正定値が2つの平方和の商として書けることを示した。
レズニックはアルティンの結果の分母は常に変数の平方ノルムの$N$-次パワーとして選択できることを示した。
論文 参考訳(メタデータ) (2019-09-04T11:46:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。