Some undecidable problems about the trace-subshift associated with a Turing machine Artículo académico