titerator
A titerator is a conceptual tool or process used in theoretical computer science and formal language theory to analyze the behavior of abstract machines, particularly those with multiple tapes or states. The term is a portmanteau of "tape" and "iterator," reflecting its origin in the study of Turing machines and their extensions. Essentially, a titerator describes a systematic way to traverse or explore all possible configurations or computations of a given machine.
The concept is often employed when dealing with problems related to decidability, complexity, and the simulation
While not a physical device, the titerator is a useful abstraction for reasoning about computational power