元胞自动机的形式逻辑

IF 0.7 4区数学 Q4 MATHEMATICS, INTERDISCIPLINARY APPLICATIONS

Advances in Complex Systems Pub Date : 2021-06-15 DOI:10.25088/complexsystems.30.2.187

Sukanta Das, Mihir K. Chakraborty

{"title":"元胞自动机的形式逻辑","authors":"Sukanta Das, Mihir K. Chakraborty","doi":"10.25088/complexsystems.30.2.187","DOIUrl":null,"url":null,"abstract":"This paper develops a formal logic, named L CA , targeting modeling of one-dimensional binary cellular automata. We first develop the syntax of L CA , then give semantics to L CA in the domain of all binary strings. Then the elementary cellular automata and four-neighborhood binary cellular automata are shown as models of the logic. These instances point out that there are other models of L CA . Finally it is proved that any one-dimensional binary cellular automaton is a model of the proposed logic.","PeriodicalId":50871,"journal":{"name":"Advances in Complex Systems","volume":"438 1","pages":"187-203"},"PeriodicalIF":0.7000,"publicationDate":"2021-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Formal Logic of Cellular Automata\",\"authors\":\"Sukanta Das, Mihir K. Chakraborty\",\"doi\":\"10.25088/complexsystems.30.2.187\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper develops a formal logic, named L CA , targeting modeling of one-dimensional binary cellular automata. We first develop the syntax of L CA , then give semantics to L CA in the domain of all binary strings. Then the elementary cellular automata and four-neighborhood binary cellular automata are shown as models of the logic. These instances point out that there are other models of L CA . Finally it is proved that any one-dimensional binary cellular automaton is a model of the proposed logic.\",\"PeriodicalId\":50871,\"journal\":{\"name\":\"Advances in Complex Systems\",\"volume\":\"438 1\",\"pages\":\"187-203\"},\"PeriodicalIF\":0.7000,\"publicationDate\":\"2021-06-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Advances in Complex Systems\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.25088/complexsystems.30.2.187\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"MATHEMATICS, INTERDISCIPLINARY APPLICATIONS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Advances in Complex Systems","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.25088/complexsystems.30.2.187","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS, INTERDISCIPLINARY APPLICATIONS","Score":null,"Total":0}

引用次数: 0

摘要

针对一维二元元胞自动机的建模，提出了一种形式逻辑lca。首先给出了L - CA的语法，然后给出了L - CA在所有二进制字符串域中的语义。然后将初等元胞自动机和四邻域二元元胞自动机作为逻辑模型。这些实例表明，lca还存在其他模型。最后证明了任何一维二元元胞自动机都是所提逻辑的一个模型。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Formal Logic of Cellular Automata

This paper develops a formal logic, named L CA , targeting modeling of one-dimensional binary cellular automata. We first develop the syntax of L CA , then give semantics to L CA in the domain of all binary strings. Then the elementary cellular automata and four-neighborhood binary cellular automata are shown as models of the logic. These instances point out that there are other models of L CA . Finally it is proved that any one-dimensional binary cellular automaton is a model of the proposed logic.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Advances in Complex Systems 综合性期刊-数学跨学科应用

CiteScore

1.40

自引率

0.00%

发文量

121

审稿时长

6-12 weeks

期刊介绍： Advances in Complex Systems aims to provide a unique medium of communication for multidisciplinary approaches, either empirical or theoretical, to the study of complex systems. The latter are seen as systems comprised of multiple interacting components, or agents. Nonlinear feedback processes, stochastic influences, specific conditions for the supply of energy, matter, or information may lead to the emergence of new system qualities on the macroscopic scale that cannot be reduced to the dynamics of the agents. Quantitative approaches to the dynamics of complex systems have to consider a broad range of concepts, from analytical tools, statistical methods and computer simulations to distributed problem solving, learning and adaptation. This is an interdisciplinary enterprise.