Turing Machines are just one of many computational models. Others offer more parallelism. Two examples: In lambda calculus, disjoint redexes can be reduced in

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 https://en.wikipedia.org/wiki/Interaction_nets