概要 - タイム有限状態機械の遠位復帰と同期シーケンスの研究

タイトル

タイム有限状態機械の遠位復帰と同期シーケンスの研究

時間

2025-07-19 08:03:14

著者

{"Evgenii Vinarskii","Jakub Ruszil","Adam Roman","Natalia Kushik"}

カテゴリ

{cs.FL,cs.CC}

リンク
http://arxiv.org/abs/2507.14526v2

PDF リンク
http://arxiv.org/pdf/2507.14526v2

概要

この論文は、出力遅延を持つ時制有限状態機械（TFSM）のハomingおよび同期シーケンスの研究に深入りし、その性質や導出方法を探求しています。著者たちは、出力遅延を持つTFSMのハomingおよび同期シーケンスを定義し、未時制機械に対して有効ないくつかの性質が必ずしも時制機械に適用されないことを示しています。彼らは、縮小された後継木に基づく方法や有限状態機械抽象化に基づく方法を含む、これらのシーケンスの導出に向けた様々なアプローチを探っています。論文は、これらのアプローチが直接適用できるTFSMの亜種と、他の方法が必要な亜種を特定し、出力遅延を持つTFSMの（最短の）ハomingおよび同期シーケンスの存在確認と導出の複雑さを評価しています。主要な発見事項は以下の通りです： - 著者たちは、出力遅延を持つTFSMのハomingおよび同期シーケンスを導入し、その性質を示しました。 - 彼らは、縮小された後継木に基づく方法や有限状態機械抽象化に基づく方法を含む、これらのシーケンスの導出に向けた様々なアプローチを探りました。 - 彼らは、これらのアプローチが直接適用できるTFSMの亜種を特定しました。 - 彼らは、（最短の）ハomingおよび同期シーケンスの存在確認と導出の複雑さを評価しました。 - 彼らは、出力遅延を持つTFSMのシーケンスの導出を促進するために、改良された有限状態機械抽象化を提案しました。 - 彼らは、出力遅延を持つTFSMのハomingおよび同期シーケンスとその未時制抽象化との対応関係の性質を研究しました。全体として、この論文は出力遅延を持つTFSMのハomingおよび同期シーケンスの理解に寄与し、その性質や導出方法に関する洞察を提供しています。

推奨論文

ホモシフトのブロック貼り合わせクラスの不決定性

連続変数間の一致を測定する新しい係数

拡張形ゲームにおける最適関連均衡の複雑さについて

CA-Cut: データ拡張のためのCrop-Aligned Cutout、より堅牢な冠下ナビゲーションを学ぶため

ランクベクトルクラスタリング：理論と応用

ノイズ軽減のための量子壁状態と永遠の純度界限

高次元仕様を持つ複雑な細長いポリマー部品のグリーンインジェクション成形に新しい形状冷却配置の適用

ReXGroundingCT：自由テキストレポートからの所見のセグメンテーションのための3D胸部CTデータセット

「デュアル戦略統合による需要予測のためのベースモデル」

YOLOを使用したエッジFPGAのためのリアルタイム物体検出と分類