TY - RPRT TI - Decidability and Universality in Symbolic Dynamical Systems AU - Jean-Charles Delvenne AU - Petr Kurka AU - Vincent Blondel PY - 2005 UR - https://arxiv.org/abs/cs/0404021 ID - cs/0404021 ER -