You can google for "From nand to tetris" or get the book Digital Design and Computer Architecture by Harris to get the idea of how these machines work.