A more reasonable proof of Cobham's theorem
Abstract
We present a short new proof of Cobham's theorem without using Kronecker's approximation theorem, making it suitable for generalization beyond automatic sequences.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2018
- DOI:
- arXiv:
- arXiv:1801.06704
- Bibcode:
- 2018arXiv180106704K
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- 11B85 (Primary);
- 68Q45 (Secondary)
- E-Print:
- 3 pages