There's an almost Turing equivalent mechanism that has no program counter and runs everything in parallel. I call it a BitGrid (it's my hobby horse). Because you can operate on all of the bits at the same time, you can get deterministic real time performance.

It's a systolic array of Look Up Tables, 4 bits in, 4 bits out, with a latch on each latched.