Saturday, June 6, 2020

Equivalence Between Assembly Language and Modelling Computation Musings

I was looking at Chapter 12, Modelling Computation, in Discrete Mathematics and Its Applications, 7th ed. by Kenneth Rosen and wondered what is was good for. I thought to search for "relationship between turing machines and assembly" [duckduckgo] and "how to know whether your programming language is turing complete" [Google].

What would the assembly language equivalents of the operations on the original Turing machine be?

https://stackoverflow.com/questions/3537715/what-would-the-assembly-language-equivalents-of-the-operations-on-the-original-t#3537799

Criteria to determine if it's a programming language

https://stackoverflow.com/questions/4850022/criteria-to-determine-if-its-a-programming-language

The first link reminded me of op-codes that I studied in the ATECC508A Datasheet.

https://www.sparkfun.com/products/15573
: Documents > DataSheet #>
https://cdn.sparkfun.com/assets/learn_tutorials/1/0/0/3/Microchip_ATECC508A_Datasheet.pdf

See opcodes in Pete Lewis' ATECC_X08A Sparkfun Library:  https://github.com/sparkfun/SparkFun_ATECCX08a_Arduino_Library/blob/master/src/SparkFun_ATECCX08a_Arduino_Library.h

The more complete [and complex] version is here: https://github.com/MicrochipTech/cryptoauthlib
(should compile down to machine readable op-codes like pete lewis' library?) [check notes]
looks like it:
https://github.com/MicrochipTech/cryptoauthlib/blob/102d7fcfa2cc1671fddb814bf8079756f70f7109/lib/atca_command.h
(a python wrapper library is here: https://github.com/MicrochipTech/cryptoauthtools)

*compare studies to mmlang. where does all of the SRT algebra fit in? Is it low level enough to be considered an op-code, or is it built upon the types (which are expressed as op-codes??).

I think an analog might be in the linux kernel, and I think I found a link one time by digging deep into an ardunio library. (by looking for what unint8_t was defined as?)
Anyway, a lot of header files for the linux kernel are here:
/usr/src/linux-headers-4.15.0-99/include/linux

No comments:

Post a Comment