Hartmanis and Stearns established that complexity classes defined across different machine models ar...