Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
435917 | Theoretical Computer Science | 2008 | 19 Pages |
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