Infinite Traces and Symbolic Dynamics

Wit Forys, Piotr Oprocha. Infinite Traces and Symbolic Dynamics. Theory Comput. Syst., 45(1):133-149, 2009. [doi]

Abstract

Abstract is missing.