Infinite Traces and Symbolic Dynamics
The aim of this paper is to formulate a framework for studying dynamical properties of parallel computation processes represented by a continuous map acting on a space of infinite real traces. The fundamental concept of our approach is to join the tools of symbolic dynamics and trace theory.
trace word shift dynamical language shift on traces transitivity entropy