Los lenguajes de programación son sistemas de reglas que permiten controlar computadoras mediante traducción a lenguaje de máquina, y se dividen en lenguajes de alto y bajo nivel. Existen lenguajes de propósito general y específico, y aunque algunos como HTML no son lenguajes de programación tradicionales, se usan en la informática. Además, los lenguajes pueden ser compilados o interpretados, siendo cada uno con sus ventajas en portabilidad y facilidad de uso, aunque la portabilidad varía según el tipo de procesador.