Turing completeness, weird machines, Twitter, and muddled terminology
http://addxorrol.blogspot.com/2018/10/turing-completeness-weird-machines.html [addxorrol.blogspot.com]
2018-10-03 21:50
The point of weird machine research is *not* about showing that everything is Turing complete. The point of weird machine research is that when any finite state automaton is simulated, and when that simulation gets corrupted, a new machine emerges, with it’s own instruction set. It is this instruction set that gets programmed in attacks. Constraining the state transitions (and hence the reachable states) of a weird machine is what makes exploitation impossible. The computational power (in the TC sense) is secondary.
source: solar