semimeasure en · NOUN
Etymology
From semi- + measure.
Meanings
-
A function that assigns a non-negative number to each element of a set that is subadditive.
A universal a priori semimeasure (also known as "algorithmic probability") is defined as the transformation, by a given universal monotone Turing machine, of the uniform measure on the infinite strings.
2015, T.F. Sterkenburg, “A generalized characterization of algorithmic probability”, in arXiv:
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| semimeasures | Number=Plur | lexicographic |