There are two styles of TM's that worry us in this article: deterministic and non-deterministic. A deterministic TM only has a single transition from each state for each symbol that it's reading off the tape. A non-deterministic TM could have quite a few this sort of transition, i. e. https://financefeeds.com/from-cardano-to-blockdag-why-marius-bocks-leadership-marks-a-turning-point-for-the-network/