Journal of KIISE:Computer Systems and Theory (한국정보과학회논문지:시스템및이론)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Categorical Analysis for Finite Cellular Automata Rule 15

유한 셀룰러 오토마타 규칙 15에 대한 카테고리적 분석

  • 박정희 (양산대학 컴퓨터인터넷정보과) ;
  • 이현열 (부산대학교 전자전기정보컴퓨터공학부)
  • Published : 2000.08.15
Download PDF
⟨ Previous Next ⟩

Abstract

The recursive formulae, which can self-reproduce the state transition graphs, of one-dimensional cellular automata rule 15 with two states (0 and 1) and four different boundary conditions were founded by categorical access. The categorical access makes the evolution process for cellular automata be expressed easily since it enables the mapping of automata between different domains.

두가지 상태값 (0, 1)과 서로 다른 네가지 경계조건을 갖는 1차원 셀룰러 오토마타 규칙 15의 상태전이그래프를 자기 재생시킬 수 있는 재귀식을 카테고리적 접근법으로 발견하였다. 카테고리적 접근법은 서로 다른 도메인을 갖는 오토마타들 간의 매핑을 가능케하므로 오토마타의 진화과정을 쉽게 표현할 수 있도록 한다.

Keywords

References

  1. J. V. Neumann, 'Theory of Self-Reproducing Automata,' A.W.Burks, ed. 1996
  2. H. Y. Lee, 'Studies on Dynamical Behaviors of Finite Cellular Automata,' Kyushu Univ. Ph.D Thesis, 1995
  3. H. Y. Lee and Y. Kawahara, 'Transition Diagrams of Finite Cellular Automata,' Bulletin of Informatics and Cybernetics, Vol. 28, No. 1, pp. 47-69, 1996
  4. J. H. Park and H. Y. Lee, 'A Study on the State Transition Graphs of Finite Cellular Automata,' Journal of KISS(A), Vol. 25, No. 10, pp. 1180-1187, 1998
  5. E. Jen, 'Invariant Strings and Pattern-Recognizing Properties of One Dimensional Cellular Automata,' Journal of Statistical Physics, Vol. 43, No. 1/2, p.243, 1986 https://doi.org/10.1007/BF01010580
  6. J. H. Park and H. Y. Lee, 'A Categorical Representation of the State Transition Graph of Finite Cellular Automata,' Proceedings of Complex Systems'98, Vol.4, pp.150-161, 1998
  7. J. H. Park, 'Self-Reproduction of the State Transition Graphs for Finite Cellular Automata,' Pusan National Univ. Ph.D Thesis, 1999
  8. T. Toffoli and N. Margolus, 'Cellular Automata Machines,' The MIT Press, 1987
  9. H. Herrlich and G. E. Strecker 'Category Theory,' Herdermann Verlag Berlin, 1979
  10. M. A. Arbib and E. G. Manes, 'ARROWS, STRUCTURES, AND FUNCTORS,' Academic Press Inc, 1975