1次元セルオートマトンのRule 110がTuring完全と聞いて。 Tag system まずCocke, John, and Marvin Minsky. "Universality of tag systems with P=2." Journal of the ACM (JACM) 11.1 (1964): 15-20.を読んだ。そもそも，tag systemとは，文字列書き換え規…