Emmanuel Jeandel Guillaume Theyssier Subshifts, Languages and Logic http://arxiv.org/abs/0904.2457 2009 CoRR abs/0904.2457 db/journals/corr/corr0904.html#abs-0904-2457 informal publication