abstract:In theoretical computer science, a crossing sequence at boundary k is the sequence of the states of a Turing machine in which it is at the moments when its head crosses the boundary between cells k and k+1 on the tape, i.e.
The crossingsequence should be automatically started by the approaching train, but the RAIB report said that "on this occasion the crossing closure sequence commenced earlier".