Studying relationships between cellular automata can provide important insight into their structure and computational capacity. In this chapter, we study a notion called the encoder-decoder relation between cellular automata. Though variants of this notion have been used to construct intrinsically universal systems, there are many of its properties yet to be explored. Our work mainly focuses on two new results: we relate the encoder-decoder simulation to other previously studied notions and show that it is the strongest among them. And secondly, we propose a method to efficiently search for such relations between two given automata. This problem is non-trivial because verifying that automaton \(\mathcal {A}\) can simulate \(\mathcal {B}\) requires checking infinitely many conditions. We demonstrate the results we obtained on the class of elementary cellular automata, presenting a rich hierarchy of their relationships that were not known before. We show that the number of elementary automata with unique dynamics can be reduced from 88 to 52. Further, we show that some automata thought as unique, such as 14, 43, and 142, have in fact equivalent computational capacity. We believe that using similar approaches, the number of unique automata can be dramatically reduced in the future.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Studying Encoder–Decoder Relation Between Cellular Automata to Uncover Their Computational Structure

  • Barbora Hudcová,
  • Tomáš Mikolov,
  • Stefano Nichele

摘要

Studying relationships between cellular automata can provide important insight into their structure and computational capacity. In this chapter, we study a notion called the encoder-decoder relation between cellular automata. Though variants of this notion have been used to construct intrinsically universal systems, there are many of its properties yet to be explored. Our work mainly focuses on two new results: we relate the encoder-decoder simulation to other previously studied notions and show that it is the strongest among them. And secondly, we propose a method to efficiently search for such relations between two given automata. This problem is non-trivial because verifying that automaton \(\mathcal {A}\) can simulate \(\mathcal {B}\) requires checking infinitely many conditions. We demonstrate the results we obtained on the class of elementary cellular automata, presenting a rich hierarchy of their relationships that were not known before. We show that the number of elementary automata with unique dynamics can be reduced from 88 to 52. Further, we show that some automata thought as unique, such as 14, 43, and 142, have in fact equivalent computational capacity. We believe that using similar approaches, the number of unique automata can be dramatically reduced in the future.