A study on the programming of number-conserving cellular automata rules

2012 Fiscal Year Final Research Report

• Project/Area Number: 22500015
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Fundamental theory of informatics
• Research Institution: Hiroshima University
• Principal Investigator: IMAI Katsunobu 広島大学, 大学院・工学研究院, 助教 (20253106)
• Project Period (FY): 2010 – 2012
• Keywords: オートマトン理論 / 形式言語理論 / セルオートマトン

Research Abstract

Although number-conservation is a physics-like constraint for cellular automata and widely studied, there are not so many researches in the view point of their rule programming. In this study, we show that the computational universality of one-dimensional two-neighborhood number-conserving cellular automata. Next we propose a method of designing rules of non-trivial one-dimensional three-neighborhood reversible and number-conserving cellular automata. We also shows that an implementation of partitioned cellular automata on quasi-periodic tilings, because a kind of number-conserving cellular automata can be easily designed employing the framework of partitioned cellular automata.

Research Products

• [Journal Article] A 6-state universal semi-totalistic cellular automaton on kite and dart Penrose tilings (2013)
  • Author(s): Imai,K., Hatsuda,T., Poupet,V., Sato,K.
  • Journal Title: Fundamenta Informatica
  • Peer Reviewed
• [Journal Article] Transferring protocol using local information on ad hoc sensor network and its behaviors (2013)
  • Author(s): Nakayama, D., Sakamoto,N., Imai,K
  • Journal Title: International Journal of Networking and Computing Volume: 3 Pages: 170-180
  • Peer Reviewed
• [Journal Article] Fluctuation- driven computing on number-conserving cellular automata. (2012)
  • Author(s): Lee,J., Imai,K., Zhu, Q-S.
  • Journal Title: Information Science Volume: 187 Pages: 266-276
  • Peer Reviewed
• [Presentation] On the behaviors of signals in cellular automata on Penrose tilings (2013)
  • Author(s): Imai, K., Hatsuda T.
  • Organizer: 7th International Workshop on Natural Computing
  • Place of Presentation: Tokyo.
  • Year and Date: 2013-03-20
• [Presentation] Determining the Critical Temperature of the Continuous-State Game of Life, Proc (2012)
  • Author(s): Adachi,S., Lee,J., Peper,F., Isokawa,T., Imai,K
  • Organizer: 10th International Conference on Cellular Automata for Research and Industry, ACRI
  • Place of Presentation: Greece
  • Year and Date: 2012-09-25
• [Presentation] A Universal Semi-totalistic Cellular Automaton on Kite and Dart Penrose Tilings,, Proc. (2012)
  • Author(s): Imai,K., Hatsuda,T., Poupet,V., Sato,K.
  • Organizer: 18th Int. Workshop on Cellular Automata and Discrete Complex Systems
  • Place of Presentation: La Marana, Corsica, France
  • Year and Date: 2012-09-20
• [Presentation] On radius 1 nontrivial reversible and number- conserving cellular automata. Proc (2012)
  • Author(s): Imai, K., Martin, B., Saito, R
  • Organizer: 4th Workshop on Reversible Computation, Copenhagen
  • Year and Date: 2012-07-20
• [Presentation] Waves and signals on "Life-like" and "Generation" cellular automata on a Penrose tiling (2012)
  • Author(s): Imai,K.,Hatsuda,T
  • Organizer: 6th International Workshop on Natural Computing
  • Place of Presentation: Tokyo.
  • Year and Date: 2012-03-28
• [Presentation] A Transferring Protocol with Local Information on an Ad-Hoc Sensor Network. Proc. (2011)
  • Author(s): Nakayama, D., Sakamoto, N., Imai, K.
  • Organizer: 2nd International Conference on Networking and Computing
  • Year and Date: 2011-12-02
• [Presentation] Cellular automata, Boolean functions, Pseudo-random generators, Symmetric cryptography, Proc (2011)
  • Author(s): Formenti,E., Imai,K., Martin,B. and Yunes
  • Organizer: 17th International Workshop on Cellular Automata and Discrete Complex Systems
  • Place of Presentation: Santiago, Chile.
  • Year and Date: 2011-11-21
• [Presentation] 同期 Larger than Life セル・オートマトンのグライダーの安定性について (2010)
  • Author(s): 荒巻、今井、坂本
  • Organizer: 計測自動制御学会システム・情報部門学術講演会
  • Place of Presentation: 京都市
  • Year and Date: 2010-11-25
• [Presentation] 可逆性と保存性を同時に満たすセルオートマトンの探索 (2010)
  • Author(s): 斉藤、今井、森田、岩本
  • Organizer: 平成 22 年度電気・情報関連学会中国支部連合大会
  • Place of Presentation: 岡山市
  • Year and Date: 2010-10-23
• [Presentation] On radius 1-dimensional reversible and number- conserving cellular automata (2010)
  • Author(s): Imai, K., Martin, B., Saito, R
  • Organizer: LAシンポジウム
  • Place of Presentation: 浜松市
  • Year and Date: 2010-07-21
• [Presentation] On universality of radius 1/2 number-conserving cellular automata, Proc (2010)
  • Author(s): Imai, K., Alhazov, A
  • Organizer: 9th International Conference of Unconventional Computation UC2010
  • Year and Date: 2010-06-21
• [Book] セルオートマトン (2011)
  • Author(s): Schiff, J.梅尾, 足立, 磯川, 今井, 小松崎, 李訳
  • Total Pages: 250
  • Publisher: 共立出版