Minsky (7,4) Universal Machine Theory of Computation