En informática, lenguajes formales que permiten que nos comuniquemos con un ordenador e ingresemos instrucciones.