Conway's cosmological theorem and automata theory
Résumé
John Conway proved that every audioactive sequence (a.k.a. \emph{look-and-say}) decays into a compound of 94~elements, a statement he termed the \emph{cosmological theorem}. The underlying audioactive process can be modeled by a finite-state machine, mapping one sequence of integers to another. Leveraging automata theory, we propose a new proof of Conway's theorem based on a few simple machines, using a computer to compose and minimize them.
Domaines
Théorie et langage formel [cs.FL]
Fichier principal
cosmological-automata.pdf (1.07 Mo)
Télécharger le fichier
SplittingTheorem.png (566.48 Ko)
Télécharger le fichier
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|