Infinite Traces and Symbolic Dynamics - the Minimal Shift Case

  • Authors:
  • Wit Foryś;Piotr Oprocha

  • Affiliations:
  • (Correspd.) Institute of Computer Science, Jagiellonian University, Łojasiewicza 6, 30-348 Kraków, Poland. forysw@ii.uj.edu.pl;Departamento de Matemáticas, Universidad de Murcia, Campus de Espinardo, 30100 Murcia, Spain and Faculty of Applied Mathematics, AGH University of Science and Technology, al.Mickiewicza 30, 3 ...

  • Venue:
  • Fundamenta Informaticae
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study interrelations between symbolic descriptions of concurrently evolving systems and underlying sequential dynamics. The basic framework for this research is formulated on the background of the theory of traces. We focus our interests on minimal shifts and t-shifts generated by them, that is shifts defined in the space of infinite real traces. We show that sets of infinite real traces generated by minimal shifts are always closed and, under some conditions, are also t-shifts. Additional discussion for the case of small alphabets (containing at most four letters) is also provided.