what is theory of machine