Skip to main content
SpringerLink
Log in

Infinite Traces and Symbolic Dynamics

  • Published:
Theory of Computing Systems Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Blanchard, F., Kůrka, P.: Language complexity of rotations and Sturmian sequences. Theor. Comput. Sci. 209(1–2), 179–193 (1998)

    Article  MATH  Google Scholar 

  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)

    Article  MATH  MathSciNet  Google Scholar 

  3. Bournez, O., Cosnard, M.: On the computational power of dynamical systems and hybrid systems. Theor. Comput. Sci. 168(2), 417–459 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  4. Cartier, P., Foata, D.: Problèmes combinatories de commutation et réarrangements. Lecture Notes in Mathematics. Sringer, New York (1969)

    Google Scholar 

  5. Diekert, V.: Combinatorics on Traces. Lectures Notes in Computer Science. Springer, Berlin (1990)

    MATH  Google Scholar 

  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. Diekert, V., Rozenberg, G. (eds.): The Book of Traces. World Scientific, River Edge (1995)

    Google Scholar 

  8. Gastin, P., Petit, A.: Infinite traces. In: The Book of Traces, pp. 393–486. World Scientific, River Edge (1995)

    Google Scholar 

  9. Kari, J.: Rice’s theorem for the limit sets of cellular automata. Theor. Comput. Sci. 127(2), 229–254 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  10. Kůrka, P.: On topological dynamics of Turing machines. Theor. Comput. Sci. 174(1–2), 203–216 (1997)

    Article  MATH  Google Scholar 

  11. Kwiatkowska, M.: A metric for traces. Inf. Process. Lett. 35, 42–56 (1990)

    MathSciNet  Google Scholar 

  12. Lind, D., Marcus, B.: Introduction to Symbolic Dynamics and Coding. Cambridge University Press, Cambridge (1995)

    MATH  Google Scholar 

  13. Mañé, R.: Ergodic Theory and Differentiable Dynamics. Springer, Berlin (1987)

    MATH  Google Scholar 

  14. Mazurkiewicz, A.: Concurrent program schemes and their interpretations. DAIMI Rep. Aarhus Univ. 78, 1–45 (1977)

    Google Scholar 

  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. Moore, C.: Unpredictability and undecidability in dynamical systems. Phys. Rev. Lett. 64(20), 2354–2357 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  17. Oprocha, P., Wilczyński, P.: Shift spaces and distributional chaos. Chaos Solitons Fractals 31, 347–355 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  18. Siegelmann, H.T.: Neural Networks and Analog Computation. Progress in Theoretical Computer Science. Birkhäuser, Boston (1999). Beyond the Turing limit

    MATH  Google Scholar 

  19. Siegelmann, H.T., Fishman, S.: Analog computation with dynamical systems. Physica D 120(1–2), 214–235 (1998)

    Article  MATH  Google Scholar 

  20. Walters, P.: On pseudo orbit tracing property and its relationship to stability. In: Lecture Notes in Math., vol. 668, pp. 231–244 (1978)

  21. Wolfram, S.: A New Kind of Science. Wolfram Media, Inc., Champaign (2002)

    MATH  Google Scholar 

  22. Xie, H.: Gramatical Complexity and One-dimensional Dynamical Systems. Directions in Chaos. World Scientific, Singapore (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, Jagiellonian University, Nawojki 11, 30-072, Kraków, Poland

    Wit Foryś

  2. Faculty of Applied Mathematics, AGH University of Science and Technology, al. Mickiewicza 30, 30-059, Kraków, Poland

    Piotr Oprocha

Authors
  1. Wit Foryś
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Piotr Oprocha
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Piotr Oprocha.

Additional information

Research of the second author was partly supported by an annual national scholarship for young scientists from the Foundation for Polish Science and AGH grant No. 10.420.03. Both authors were supported by the Polish Ministry of Science and Higher Education, grant N206 027 32/4270.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Foryś, W., Oprocha, P. Infinite Traces and Symbolic Dynamics. Theory Comput Syst 45, 133–149 (2009). https://doi.org/10.1007/s00224-007-9093-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00224-007-9093-7

Keywords

Search

Navigation