論文の概要: On the Theory of Stochastic Automata
- arxiv url: http://arxiv.org/abs/2103.14423v1
- Date: Fri, 26 Mar 2021 12:05:42 GMT
- ステータス: 処理完了
- システム内更新日: 2021-03-29 18:38:28.870408
- Title: On the Theory of Stochastic Automata
- Title(参考訳): 確率オートマトンの理論について
- Authors: Merve Nur Cakir, Mehwish Saleemi, Karl-Heinz Zimmermann
- Abstract要約: 離散マルコフ系の理論はシャノンとフォン・ノイマンによって始められた。
決定論的有限状態オートマトンに関するラビンとスコットの研究は、2つの一般化をもたらした。
- 参考スコア(独自算出の注目度): 0.696125353550498
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The theory of discrete stochastic systems has been initiated by the work of
Shannon and von Neumann. While Shannon has considered memory-less communication
channels and their generalization by introducing states, von Neumann has
studied the synthesis of reliable systems from unreliable components. The
fundamental work of Rabin and Scott about deterministic finite-state automata
has led to two generalizations. First, the generalization of transition
functions to conditional distributions studied by Carlyle and Starke. This in
turn has led to a generalization of time-discrete Markov chains in which the
chains are governed by more than one transition probability matrix. Second, the
generalization of regular sets by introducing stochastic automata as described
by Rabin. Stochastic automata are well-investigated. This report provides a
short introduction to stochastic automata based on the valuable book of Claus.
This includes the basic topics of the theory of stochastic automata:
equivalence, minimization, reduction, covering, observability, and determinism.
Then stochastic versions of Mealy and Moore automata are studied and finally
stochastic language acceptors are considered as a generalization of
nondeterministic finite-state acceptors.
- Abstract(参考訳): 離散確率系の理論はシャノンとフォン・ノイマンの研究によって始められた。
シャノンはメモリレス通信チャネルと状態の導入による一般化を検討したが、フォン・ノイマンは信頼できないコンポーネントから信頼できるシステムの合成を研究した。
決定論的有限状態オートマトンに関するラビンとスコットの基本的な研究は、2つの一般化をもたらした。
まず、カーライルとスタークによって研究された条件分布への遷移関数の一般化。
このことは、連鎖が複数の遷移確率行列によって支配される時間離散マルコフ連鎖の一般化につながった。
第二に、ラビンが記述した確率的オートマトンの導入による正規集合の一般化である。
確率オートマトンはよく研究されている。
本報告では,クラウスの貴重な書物に基づく確率的オートマトンについて紹介する。
これは確率的オートマトンの理論(同値性、最小化、還元、被覆、可観測性、決定性)の基本的トピックを含む。
すると、ミーリーとムーアオートマタの確率バージョンが研究され、最終的に確率言語アクセプタは非決定論的有限状態アクセプタの一般化と見なされる。
関連論文リスト
- Ergodic repeated interaction quantum systems: Steady states and reducibility theory [0.0]
定常分布を持つランダムな量子チャネルの列を対象とするオープン量子システムの時間進化を考察する。
反復相互作用モデルにおける様々な特定の障害モデルが検討されている。
我々は、この条件を伴わない一般的な定常ランダム反復相互作用モデルに対する再帰理論を開発する。
論文 参考訳(メタデータ) (2024-06-16T15:38:20Z) - Ito Diffusion Approximation of Universal Ito Chains for Sampling, Optimization and Boosting [64.0722630873758]
我々は、ある微分方程式のオイラー・マルヤマ離散化のように見える、より一般で幅広いマルコフ連鎖、伊藤鎖を考える。
伊藤鎖の法則と微分方程式の間の$W_2$-距離の有界性を証明する。
論文 参考訳(メタデータ) (2023-10-09T18:38:56Z) - Closed-form expressions for the probability distribution of quantum walk
on a line [0.0]
直線上の量子ウォークの確率分布の式を導出する。
最も一般的な2状態のコインオペレータと、最も一般的な(純粋な)初期状態が考慮されている。
我々は,一直線上のアダマール歩行のシミュレーション確率分布を復元する。
論文 参考訳(メタデータ) (2023-08-09T20:32:40Z) - Markov chains with doubly stochastic transition matrices and application
to a sequence of non-selective quantum measurements [0.0]
二重遷移行列を用いる時間依存有限状態マルコフ連鎖を考える。
確率ベクトルのランダム性、および離散経路のランダム性を記述するエントロピーを研究する。
論文 参考訳(メタデータ) (2022-03-16T14:58:38Z) - Why we should interpret density matrices as moment matrices: the case of
(in)distinguishable particles and the emergence of classical reality [69.62715388742298]
一般確率論として量子論(QT)の定式化を導入するが、準観測作用素(QEOs)で表される。
区別不可能な粒子と識別不能な粒子の両方に対するQTをこの方法で定式化できることを示します。
古典的なダイスに対する有限交換可能な確率は、QTと同じくらい奇数であることを示す。
論文 参考訳(メタデータ) (2022-03-08T14:47:39Z) - A Stochastic Newton Algorithm for Distributed Convex Optimization [62.20732134991661]
均質な分散凸最適化のためのNewtonアルゴリズムを解析し、各マシンが同じ人口目標の勾配を計算する。
提案手法は,既存の手法と比較して,性能を損なうことなく,必要な通信ラウンドの数,頻度を低減できることを示す。
論文 参考訳(メタデータ) (2021-10-07T17:51:10Z) - Logical Credal Networks [87.25387518070411]
本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。
本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
論文 参考訳(メタデータ) (2021-09-25T00:00:47Z) - The probabilistic world [0.0]
セルオートマトンは離散時間ステップと実波関数を持つ量子系であることを示す。
古典統計学の量子形式論は、一般化したイジングモデルに対して運動量観測可能な実装を可能にする強力なツールである。
論文 参考訳(メタデータ) (2020-11-04T14:05:31Z) - Shannon Entropy Rate of Hidden Markov Processes [77.34726150561087]
隠れマルコフ連鎖のエントロピー率を計算する方法を示す。
また,この手法が最小限の無限予測的特徴を与えることを示す。
続編は、構造に関するチャレンジの第2部に対処します。
論文 参考訳(メタデータ) (2020-08-29T00:48:17Z) - Joint measurability meets Birkhoff-von Neumann's theorem [77.34726150561087]
我々は、この文脈でDNTの数学的特徴として関節測度が生じることを証明し、バーホフ=ヴォン・ノイマン(Birkhoff-von Neumann)と同様の性格化を確立する必要がある。
また、DNTは、一般作用素理論におけるその関連性に言及しながら、結合可測性問題の特定の事例から自然に現れることを示す。
論文 参考訳(メタデータ) (2018-09-19T18:57:45Z) - Probabilistic Contraction Analysis of Iterated Random Operators [10.442391859219807]
バナッハ縮約写像定理は、ある決定論的アルゴリズムの収束を確立するために用いられる。
ランダム化アルゴリズムのクラスでは、各反復において、縮約写像は、ある確率変数の独立分布と同一分布のサンプルを使用する演算子と近似される。
これにより、完備距離空間において初期点に作用する反復ランダム作用素が導かれ、マルコフ連鎖が生成される。
論文 参考訳(メタデータ) (2018-04-04T00:10:58Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。