Se presentan propiedades de las funciones generatrices ordinarias y de los lenguajes formales, interrelacionándolos de forma que, dado un problema combinatorial, (los cuales son frecuentes en estructura de datos), si se logra representar sus objetos por un lenguaje y si este lenguaje puede ser generado por una gramática, entonces es más fácil obtener la función generatriz para la familia de objetos que se estudian.