How can you make a TM more powerful (ie define more languages). We discuss several attempts, including kTrack TMs and non-deterministic TMs.
No download links available.
