Síntesis de programas probabilista
Distribución de probabilidad sobre programas
Función matemática que asigna probabilidades a diferentes programas o estructuras algorítmicas, sirviendo como base para el muestreo y la optimización guiada.
← Volver