Text this: Generación y Análisis de Algoritmos para el Estudio de QBDs