تئوری جامع ماشین ها