[shreyshnaccount]

A tangent, but you might find interesting starting points from the nand2tetis course. ( www.nand2tetris.org) And reading seminal papers by the likes of Turing and Church