Universality probability of a prefix-free machine.

Universality probability of a prefix-free machine.