[論文レビュー] Symbolic dynamics

Marie-Pierre Béal, Jean Berstel+2 more|arXiv (Cornell University)|Jun 7, 2010

Cellular Automata and Applications参考文献 17被引用数 4

ひとこと要約

この論文は、自動機理論と記号的力学系の間の関係を確立し、局所的自動機が有限型のシフトの埋め込みに果たす役割や、文法的半群が同相性に関してソフィックシフトを分類するのを支援することに焦点を当てる。自動機理論的構造が記号的力学系における力学系の分析にどのように有用であるかを示している。

ABSTRACT

This chapter presents some of the links between automata theory and symbolic dynamics. The emphasis is on two particular points. The first one is the interplay between some particular classes of automata, such as local automata and results on embeddings of shifts of finite type. The second one is the connection between syntactic semigroups and the classification of sofic shifts up to conjugacy.

研究の動機と目的

• 特定の自動機クラス（例えば局所的自動機）と有限型シフトの間の相互作用を調査すること。
• 文法的半群が同相性に関してソフィックシフトをどのように分類できるかを調査すること。
• 自動機理論的構造と記号的力学系構造との間の理論的関係を確立すること。
• 自動機構成を用いた有限型シフトの埋め込みのためのフレームワークを提供すること。

提案手法

• 局所的自動機を用いて有限型シフトをモデル化・分析する。
• 文法的半群理論を応用して、同相性に関してソフィックシフトを分類する。
• 自動機理論的構成を用いてシフト空間の埋め込み性質を研究する。
• 自動機の構造的性質を分析して、力学系の不変量を導出する。
• 形式言語理論と半群理論に依拠して、自動機と記号的力学系を結びつける。
• 同相性関係を用いて、代数的不変量を介してソフィックシフトを比較・分類する。

実験結果

リサーチクエスチョン

• RQ1 局所的自動機はどのようにして有限型シフトを埋め込むことができるか？
• RQ2 文法的半群は同相性に関してソフィックシフトを分類する際に果たす役割は何か？
• RQ3 自動機理論的構造は記号的力学系の性質をどのように反映するか？
• RQ4 自動機構成はシフト空間の分析をどのように支援するか？
• RQ5 自動機と記号的力学系の相互作用から生じる代数的不変量は何か？

主な発見

• 局所的自動機は、有限型シフトの埋め込みのための構造的フレームワークを提供する。
• 文法的半群は、同相性に関してソフィックシフトを分類する不変量として機能する。
• 自動機と記号的力学系の間の関係により、シフト空間の性質のより深い分析が可能になる。
• 自動機理論的手法により、力学系における代数的不変量が明らかになる。
• 特定の自動機構成により、有限型シフトの埋め込み結果が容易になる。
• 文法的半群の分析により、ソフィックシフトの同相性分類が達成可能になる。