Fugu-MT 論文翻訳(概要): On the Complexity of Symbolic Finite-State Automata

論文の概要: On the Complexity of Symbolic Finite-State Automata

arxiv url: http://arxiv.org/abs/2011.05389v3
Date: Fri, 2 Jul 2021 12:57:45 GMT
ステータス: 処理完了
システム内更新日: 2022-09-27 08:35:27.780604
Title: On the Complexity of Symbolic Finite-State Automata
Title（参考訳）: シンボリック有限状態オートマトンの複雑性について
Authors: Dana Fisman and Hadar Frenkel and Sandra Zilles
Abstract要約: 我々は,SFAの手順(交点,空白など)の複雑さを再考し,象徴的オートマトンに適した措置に従って分析する。我々は SFA の特殊形式、正規化された SFA ときちんとした SFA 、および単調有効ブール代数上の SFA に注意を払う。
参考スコア（独自算出の注目度）: 7.386725677365395
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We revisit the complexity of procedures on SFAs (such as intersection, emptiness, etc.) and analyze them according to the measures we find suitable for symbolic automata: the number of states, the maximal number of transitions exiting a state, and the size of the most complex transition predicate. We pay attention to the special forms of SFAs: {normalized SFAs} and {neat SFAs}, as well as to SFAs over a {monotonic} effective Boolean algebra.
Abstract（参考訳）: 我々は、SFAの手順(交叉、空白など)の複雑さを再考し、それらを象徴的オートマトン(状態の数、状態から出る遷移の最大数、最も複雑な遷移述語のサイズ)に適した尺度に従って分析する。我々は SFA の特殊形式である {normalized SFAs} と {neat SFAs} 、および {monotonic} の実効ブール代数上の SFA に注意を払う。

関連論文リスト

Inducing Systematicity in Transformers by Attending to Structurally Quantized Embeddings [60.698130703909804]
トランスフォーマーは、複雑なデータセットでトレーニングされた後、構造と実体の新規な構成に一般化する。本稿では,SQ-Transformerを提案する。 SQ-Transformerは,複数の低複雑さ意味解析および機械翻訳データセット上で,バニラ変換器よりも強い構成一般化を実現することを示す。
論文参考訳（メタデータ） (2024-02-09T15:53:15Z)
Edge of entanglement in non-ergodic states: a complexity parameter formulation [0.0]
非エルゴード純状態の絡み合いエントロピーのサブシステムサイズスケーリングを分析する。複雑性パラメータの再スケーリングは、幅広い純粋な非エルゴード状態の絡み合いエントロピーの臨界状態を特定するのに役立つ。
論文参考訳（メタデータ） (2023-10-19T14:52:43Z)
An Analysis of On-the-fly Determinization of Finite-state Automata [65.268245109828]
有限状態オートマトンをオンザフライで決定する手法の抽象化を確立し, オートマトンにどのように適用できるかを実証する。我々の発見の特別な例は、多くの非決定論的遷移を持つオートマトンが、ほとんど常に複雑性の決定性を持っていることである。
論文参考訳（メタデータ） (2023-08-27T11:51:27Z)
Circuit Complexity through phase transitions: consequences in quantum state preparation [0.0]
量子多体系の基底状態を作成するための回路の複雑さを解析する。特に、基底状態が量子相転移に近づくにつれて、この複雑さがどのように成長するか。
論文参考訳（メタデータ） (2023-01-11T19:00:10Z)
Automata Cascades: Expressivity and Sample Complexity [90.53326983143644]
カスケードは、それらのコンポーネントの観点から、オートマトンにおけるサンプルの複雑さを記述することができることを示す。以上の結果から、無限入力アルファベットと、利用可能なデータ量で指数関数的な多数の状態を持つオートマトンを原理的に学習できることが示唆された。
論文参考訳（メタデータ） (2022-11-25T11:02:33Z)
State complexity of one-way quantum finite automata together with classical states [2.3097706741644686]
1方向量子有限オートマトンと古典状態(1QFAC) [Journal of Computer and System Sciences 81(2)359-375] 量子古典ハイブリッドモデルとして、1QFACはすべての正規言語を認識する。いくつかの言語における1QFACの複雑性は、DFAや他の1QFAよりも本質的に優れていることが示されている。
論文参考訳（メタデータ） (2021-12-07T15:00:18Z)
Detailed Account of Complexity for Implementation of Some Gate-Based Quantum Algorithms [55.41644538483948]
特に、状態準備および読み出しプロセスのような実装のいくつかのステップは、アルゴリズム自体の複雑さの側面を超越することができる。本稿では、方程式の線形系と微分方程式の線形系を解くための量子アルゴリズムの完全な実装に関わる複雑性について述べる。
論文参考訳（メタデータ） (2021-06-23T16:33:33Z)
Finite-Function-Encoding Quantum States [52.77024349608834]
任意の$d$値論理関数を符号化する有限関数符号化(FFE)を導入する。それらの構造的特性について検討する。
論文参考訳（メタデータ） (2020-12-01T13:53:23Z)
Glushkov's construction for functional subsequential transducers [91.3755431537592]
グルシコフの構成は多くの興味深い性質を持ち、トランスデューサに適用するとさらに明らかになる。正規表現の特別な風味を導入し、効率よく$epsilon$-free 機能的次数重み付き有限状態トランスデューサに変換することができる。
論文参考訳（メタデータ） (2020-08-05T17:09:58Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。