Learn More
Many different definitions of computational universality for various types of dynamical systems have flourished since Turing's work. We propose a general definition of universality that applies to arbitrary discrete time symbolic dynamical systems. Universality of a system is defined as undecidability of a model-checking problem. For Turing machines,(More)
Many different definitions of computational universality for various types of systems have flourished since Turing's work. In this paper, we propose a general definition of universality that applies to arbitrary discrete time symbolic dynamical systems. For Turing machines and tag systems, our definition coincides with the usual notion of uni-versality. It(More)
Given a rotation of the circle, we study the complexity of formal languages that are generated by the itineraries of interval covers. These languages are regular iff the rotation is rational. In the case of irrational rotations, our study reduces to that of the language complexity of the corresponding Sturmian sequences. We show that for a large class of(More)