Comment by tromp

Turing Machines are just one of many computational models. Others offer more parallelism. Two examples:

In lambda calculus, disjoint redexes can be reduced in parallel.

And in interaction nets, all active pairs can be reduced in parallel [1].

[]1 https://en.wikipedia.org/wiki/Interaction_nets