Theory of Computing Systems

, Volume 45, Issue 1, pp 133–149 | Cite as

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.


Word Trace Shift Dynamical language Shift on traces Transitivity Entropy 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Blanchard, F., Kůrka, P.: Language complexity of rotations and Sturmian sequences. Theor. Comput. Sci. 209(1–2), 179–193 (1998) MATHCrossRefGoogle Scholar
  2. 2.
    Blondel, V.D., Cassaigne, J., Nichitiu, C.: On the presence of periodic configurations in Turing machines and in counter machines. Theor. Comput. Sci. 289(1), 573–590 (2002) MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Bournez, O., Cosnard, M.: On the computational power of dynamical systems and hybrid systems. Theor. Comput. Sci. 168(2), 417–459 (1996) MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Cartier, P., Foata, D.: Problèmes combinatories de commutation et réarrangements. Lecture Notes in Mathematics. Sringer, New York (1969) Google Scholar
  5. 5.
    Diekert, V.: Combinatorics on Traces. Lectures Notes in Computer Science. Springer, Berlin (1990) MATHGoogle Scholar
  6. 6.
    Diekert, V., Métivier, Y.: Partial commutation and traces. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol. 3, pp. 457–534. Springer, New York (1997), Chap. 8 Google Scholar
  7. 7.
    Diekert, V., Rozenberg, G. (eds.): The Book of Traces. World Scientific, River Edge (1995) Google Scholar
  8. 8.
    Gastin, P., Petit, A.: Infinite traces. In: The Book of Traces, pp. 393–486. World Scientific, River Edge (1995) Google Scholar
  9. 9.
    Kari, J.: Rice’s theorem for the limit sets of cellular automata. Theor. Comput. Sci. 127(2), 229–254 (1994) MATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Kůrka, P.: On topological dynamics of Turing machines. Theor. Comput. Sci. 174(1–2), 203–216 (1997) MATHCrossRefGoogle Scholar
  11. 11.
    Kwiatkowska, M.: A metric for traces. Inf. Process. Lett. 35, 42–56 (1990) MathSciNetGoogle Scholar
  12. 12.
    Lind, D., Marcus, B.: Introduction to Symbolic Dynamics and Coding. Cambridge University Press, Cambridge (1995) MATHGoogle Scholar
  13. 13.
    Mañé, R.: Ergodic Theory and Differentiable Dynamics. Springer, Berlin (1987) MATHGoogle Scholar
  14. 14.
    Mazurkiewicz, A.: Concurrent program schemes and their interpretations. DAIMI Rep. Aarhus Univ. 78, 1–45 (1977) Google Scholar
  15. 15.
    Mitchell, M., Hraber, P.T., Crutchfield, J.P.: Dynamic, computation, and the “edge of chaos”: a re-examination. In: Cowan, G.A., Pines, D., Melzner, D. (eds.) Complexity: Metaphors, Models, and Reality. SFI Studies in the Sciences of Complexity, pp. 497–513. Addison-Wesley, Reading (1994) Google Scholar
  16. 16.
    Moore, C.: Unpredictability and undecidability in dynamical systems. Phys. Rev. Lett. 64(20), 2354–2357 (1990) MATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    Oprocha, P., Wilczyński, P.: Shift spaces and distributional chaos. Chaos Solitons Fractals 31, 347–355 (2007) MATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    Siegelmann, H.T.: Neural Networks and Analog Computation. Progress in Theoretical Computer Science. Birkhäuser, Boston (1999). Beyond the Turing limit MATHGoogle Scholar
  19. 19.
    Siegelmann, H.T., Fishman, S.: Analog computation with dynamical systems. Physica D 120(1–2), 214–235 (1998) MATHCrossRefGoogle Scholar
  20. 20.
    Walters, P.: On pseudo orbit tracing property and its relationship to stability. In: Lecture Notes in Math., vol. 668, pp. 231–244 (1978) Google Scholar
  21. 21.
    Wolfram, S.: A New Kind of Science. Wolfram Media, Inc., Champaign (2002) MATHGoogle Scholar
  22. 22.
    Xie, H.: Gramatical Complexity and One-dimensional Dynamical Systems. Directions in Chaos. World Scientific, Singapore (1996) Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  1. 1.Institute of Computer ScienceJagiellonian UniversityKrakówPoland
  2. 2.Faculty of Applied MathematicsAGH University of Science and TechnologyKrakówPoland

Personalised recommendations