Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine

From MaRDI portal
Publication:3453734