Espero que la pregunta quede clara.
El nombre "semidistribución" ciertamente implica algún significado, sin embargo, soy incapaz de concluir lo que realmente significa.
Encontré el término en este documento: http://www.info.ucl.ac.be/~pdupont/pdupont/pdf/pr05.pdf
editar
La definición dada en el documento es:
Sea $\Sigma$ sea un alfabeto finito, a semidistribución en $\Sigma^*$ es una función $\psi:\Sigma^*\to[0,1]$ satisfaciendo $\sum_{u \in \Sigma^*} \psi(u)\le1$ .
Mi opinión es que se trata de una semidistribución y no de una distribución porque la suma de la probabilidad de todos los sucesos es posiblemente inferior a 1.