可检验的代数特征描述有限阿贝尔群上加性细胞自动机的正扩张性
摘要：用于有限阿贝尔群上的可加细胞自动机的正扩展性的易于检验的代数特征描述 可加细胞自动机的正扩展性的易于检验的特征被提供给有限阿贝尔群上的线性细胞自动机的非平凡子类 我们展示了如何利用此特征来确定有限阿贝尔群上的所有可加细胞自动机的正扩展性
作者：Alberto Dennunzio and Enrico Formenti and Luciano Margara
论文ID：2308.03064
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-08-09