Showing that model M1 simulates model M2 yields explicit time and space overhead functions extractab...