El compilador examina el código fuente y deduce el tipo de datos de cada variable y expresión. Si el compilador no puede determinar el tipo de datos de forma unívoca,…