@第{zbMATH07392926条，作者={Das，Sukanta and Chakraborty，Mihir K.}，标题＝{细胞自动机的形式逻辑}，FJournal={复杂系统}，日志={复杂系统}，ISSN={0891-2513}，体积={30}，数字={2}，页码={187--203}，年份={2021}，语言={英语}，DOI＝{10.25088/ComplexSystems.30.2.187}，关键词={68Q80,03B70}，zbMATH={7392926}，Zbl={1469.68064}}