Back to Search Start Over

A More Reasonable Proof of Cobham’s Theorem

Authors :
Thijmen J. P. Krebs
Source :
International Journal of Foundations of Computer Science. 32:203-207
Publication Year :
2021
Publisher :
World Scientific Pub Co Pte Lt, 2021.

Abstract

We present a short proof of Cobham’s theorem without using Kronecker’s approximation theorem, making it suitable for generalization beyond automatic sequences.

Details

ISSN :
17936373 and 01290541
Volume :
32
Database :
OpenAIRE
Journal :
International Journal of Foundations of Computer Science
Accession number :
edsair.doi...........d6f67cea451262e4a375d297fb76c122
Full Text :
https://doi.org/10.1142/s0129054121500118