Son una colección de programas que manipulan lógicamente las funciones de la computadora, permitiendo la interacción con el usuario para la solución de tareas específicas.