Re: A New Turing Machine Model

On 2/12/2025 5:28 PM, Ben Bacarisse wrote:

wij <wyniijj5@gmail.com> writes:
 

Many should have been annoyed by the low-level-ness of the traditional Turing
Machine. Spu comes to the rescue.

 The low-level is useful because it simplifies a lot of proofs, but when
something higher-level is needed Turing equivalence and other results
like the Curry-Howard correspondence mean that there is no shortage of
higher-level models to work with.
 

https://en.wikipedia.org/wiki/Random-access_stored-program_machine
Concise, precise and easily mapped to many higher level language.
I have simply assumed that C maps to RASP and then used C.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer