When a shell creates a new process to execute a command, how does it know that file is executable? If it is executable, how does it distinguish between a shell script and a file produced by a...

When a shell creates a new process to execute a command, how does it
know that file is executable? If it is executable, how does it distinguish
between a shell script and a file produced by a compilation? What is correct
sequence for checking the above cases?