Symbolic Dynamics, Flower Automata and Infinite Traces

Wit Forys, Piotr Oprocha, Slawomir Bakalarski. Symbolic Dynamics, Flower Automata and Infinite Traces. In Michael Domaratzki, Kai Salomaa, editors, Implementation and Application of Automata - 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers. Volume 6482 of Lecture Notes in Computer Science, pages 135-142, Springer, 2010. [doi]

Abstract

Abstract is missing.