Can anyone explain how, exactly, is one such machine programmed to solve a given problem?