Además, en general, para definir un lenguaje que permita representar las distintas instancias de una familia de problemas.