Infinite Traces and Symbolic Dynamics |
| |
| Authors: | Wit Foryś Piotr Oprocha |
| |
| Affiliation: | (1) Institute of Computer Science, Jagiellonian University, Nawojki 11, 30-072 Kraków, Poland;(2) Faculty of Applied Mathematics, AGH University of Science and Technology, al. Mickiewicza 30, 30-059 Kraków, Poland |
| |
| 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. 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. |
| |
| Keywords: | Word Trace Shift Dynamical language Shift on traces Transitivity Entropy |
| 本文献已被 SpringerLink 等数据库收录！ |
|
