[论文解读] Symbolic dynamics

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

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

一句话总结

本文建立了自动机理论与符号动力系统之间的联系，重点探讨了局部自动机在嵌入有限型移位中的作用，以及语法幺半群对协伴同构意义下Sofic移位的分类作用。结果表明，自动机理论结构为分析符号动力系统中的动力系统提供了有效工具。

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.

研究动机与目标

• 探讨特定自动机类（如局部自动机）与有限型移位之间的相互作用。
• 研究语法幺半群如何在协伴同构意义下对Sofic移位进行分类。
• 建立自动机理论构造与符号动力系统结构之间的理论联系。
• 提供一种利用自动机构造嵌入有限型移位的框架。

提出的方法

• 利用局部自动机对有限型移位进行建模与分析。
• 应用语法幺半群理论对Sofic移位在协伴同构意义下进行分类。
• 采用自动机理论构造研究移位空间的嵌入性质。
• 分析自动机的结构特性，以推导动力系统的不变量。
• 依赖形式语言与幺半群理论，连接自动机与符号动力系统。
• 利用协伴同构关系，通过代数不变量比较与分类Sofic移位。

实验结果

研究问题

• RQ1 如何利用局部自动机嵌入有限型移位？
• RQ2 语法幺半群在Sofic移位协伴同构分类中起什么作用？
• RQ3 自动机理论结构在多大程度上反映了符号动力系统的性质？
• RQ4 自动机构造如何促进对移位空间的分析？
• RQ5 自动机与符号动力系统相互作用中会涌现出哪些代数不变量？

主要发现

• 局部自动机为嵌入有限型移位提供了结构化框架。
• 语法幺半群作为不变量，可用于在协伴同构意义下对Sofic移位进行分类。
• 自动机与符号动力系统之间的联系，使得对移位空间性质的深入分析成为可能。
• 自动机理论方法揭示了动力系统中的代数不变量。
• 通过特定的自动机构造，有限型移位的嵌入结果得以实现。
• Sofic移位的协伴同构分类可通过语法幺半群分析实现。