Lenguaje de programación Qué es, definición, origen y tipos