Un proceso en el que el compilador determina el tipo de datos de una variable local que se ha declarado sin una declaración de tipo de datos explícito. El tipo se deduce el valor inicial para la variable.