{"title":"Necessary and sufficient conditions for reversibility in one dimensional cellular automata","authors":"J. Tomé","doi":"10.1109/PHYCMP.1994.363686","DOIUrl":null,"url":null,"abstract":"In this work it is proved that necessary and sufficient conditions for binary regular, non-bounded, one dimensional cellular automata do exist. These conditions are derived from the definition of sufficiency for non reversibility and using a well known property of Boolean algebra. These conditions are dependent on the relative neighbourhood of the considered automaton and a graph search algorithm is derived for the establishment of these conditions and the associated listing of solutions. It is shown, however, that this general solution has an exponential complexity nature, depending on the number of cell neighbours. A simple example is also presented.<<ETX>>","PeriodicalId":378733,"journal":{"name":"Proceedings Workshop on Physics and Computation. PhysComp '94","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings Workshop on Physics and Computation. PhysComp '94","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PHYCMP.1994.363686","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
In this work it is proved that necessary and sufficient conditions for binary regular, non-bounded, one dimensional cellular automata do exist. These conditions are derived from the definition of sufficiency for non reversibility and using a well known property of Boolean algebra. These conditions are dependent on the relative neighbourhood of the considered automaton and a graph search algorithm is derived for the establishment of these conditions and the associated listing of solutions. It is shown, however, that this general solution has an exponential complexity nature, depending on the number of cell neighbours. A simple example is also presented.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
