Article ID Journal Published Year Pages File Type
435917 Theoretical Computer Science 2008 19 Pages PDF
Abstract

We give a new proof of Cobham’s first theorem using ideas from symbolic dynamics and of Cobham–Semenov theorem (in the primitive case) using ideas from tiling dynamics.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics