In theoretical computer science, a crossing sequence at boundary i, denoted as
Sometimes, crossing sequence is considered as the sequence of configurations, which represent the three elements: the states, the contents of the tapes and the positions of the heads.
Study of crossing sequences is carried out, e.g., in computational complexity theory.