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?
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