康威的宇宙学定理与自动机理论
形式语言与自动机理论
2025-11-24 v1
摘要
约翰·康威证明了每个音频活序列（即 look-and-say 序列）最终分解为 94 种元素组成的陈述，他将其称为宇宙学定理。音频活过程可由有限状态机建模，将一个整数序列映射到另一个整数序列。利用自动机理论，我们提出了一种基于少数简单机器的康威定理新证明，并使用计算机组合和最小化这些机器。
引用
@article{arxiv.2409.20341,
title = {Conway's cosmological theorem and automata theory},
author = {Pierre Lairez and Aleksandr Storozhenko},
journal= {arXiv preprint arXiv:2409.20341},
year = {2025}
}