Infinite Traces and Symbolic Dynamics

Authors:
Wit Foryś;Piotr Oprocha
Affiliations:
Jagiellonian University, Institute of Computer Science, Nawojki 11, 30-072, Kraków, Poland;AGH University of Science and Technology, Faculty of Applied Mathematics, al. Mickiewicza 30, 30-059, Kraków, Poland
Venue:
Theory of Computing Systems
Year:
2009

Citing 0
Cited 3

A dynamical model of parallel computation on bi-infinite time-scale

Journal of Computational and Applied Mathematics
Symbolic dynamics, flower automata and infinite traces

CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Infinite Traces and Symbolic Dynamics - the Minimal Shift Case

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

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.