马丁·库特里布;乔纳斯·列夫雷;安德烈亚斯·马尔彻 单向元胞自动机的大小。 （英语） Zbl 1323.68393号 Fatès，Nazim（编辑）等人，《自动化》，2010年。2010年6月14日至16日，在法国南希举行的第16届细胞自动机（CA）和离散复杂系统（DCS）国际研讨会上，根据演讲内容选择论文。南希：协会。离散数学与理论计算机科学（DMTCS）。离散数学和理论计算机科学。诉讼，71-90，仅电子版（2010年）。 摘要：我们研究了实时单向细胞自动机基本操作的描述性复杂度，其中包含无界和固定数量的细胞。自动机的大小是由其状态数来衡量的。所示的大多数边界在数量级上都很紧，也就是说，相对于最坏情况的复杂性，由给定的有效构造产生的大小是最优的。相反，这些边界还显示了当给定的最小实时OCA被分解为与给定操作相关的较小OCA时，可以实现的最大大小节省。从这个角度出发，研究了分解是否可以用算法求解的自然问题。事实证明，所有考虑的分解问题在算法上都是无法解决的。因此，本文的第二部分研究了一个非常受限的细胞模型，即具有固定细胞数的实时单向细胞自动机。众所周知，这些设备可以捕获正则语言，因此，对于通用单向细胞自动机来说，所有无法确定的问题都是可以确定的。结果表明，这些决策问题是NLOGSPACE完备的，因此具有确定性有限自动机的诱人计算复杂性。此外，还研究了这些器件基本操作的状态复杂度，并给出了其上下界。关于整个系列，请参见[Zbl 1203.68006号]. 引用于1文件 MSC公司： 68问题80 细胞自动机（计算方面） 65年第68季度 形式语言和自动机 关键词：细胞自动机;状态复杂性;描述复杂性;形式语言;可判定性 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人，摘自：Automata 2010。2010年6月14日至16日，在法国南希举行的第16届细胞自动机（CA）和离散复杂系统（DCS）国际研讨会上，根据演讲选择了论文。南希：协会。离散数学与理论计算机科学（DMTCS）。71-90（2010年；Zbl 1323.68393） 全文： 链接