arXiv 2004-04-08 EN Decidability and Universality in Symbolic Dynamical Systems Delvenne, Jean-Charles · Kurka, Petr · Blondel, Vincent
