Turing Machines (TMs) in Theoretical Computer Science (TOC) are abstract mathematical models of computation capable of solving a wide range of problems. They consist of a tape, a read/write head, and states, and their computational power makes them a fundamental concept for understanding algorithmic computation.
Example: A TM can simulate the process of a computer program executing binary addition, incrementing numbers, and handling various computational tasks.