𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Infinite Traces and Symbolic Dynamics

✍ Scribed by Wit Foryś; Piotr Oprocha


Publisher
Springer
Year
2007
Tongue
English
Weight
401 KB
Volume
45
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Computable symbolic dynamics
✍ Douglas Cenzer; S. Ali Dashti; Jonathan L. F. King 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 149 KB

## Abstract We investigate computable subshifts and the connection with effective symbolic dynamics. It is shown that a decidable Π^0^~1~ class __P__ is a subshift if and only if there exists a computable function __F__ mapping 2^ℕ^ to 2^ℕ^ such that __P__ is the set of itineraries of elements of 2