Краткие сообщения

О вычислимости параметра в схеме Бернулли

В. В. Вьюгин


Аннотация: Изучается зависимость априорной (универсальной полувычислимой) меры множества всех $\Theta$-бернуллиевских последовательностей от значений параметра $\Theta$. Доказано, что для конкретного параметра $\Theta$ априорная мера множества всех $\Theta$-бернуллиевских последовательностей равна 0 (что эквивалентно неразрешимости задачи получения $\Theta$-бернуллиевской последовательности с помощью вероятностной машины) тогда и только тогда, когда параметр $\Theta$ невычислим; однако данная мера множества всех $\Theta$-бернуллиевских последовательностей будет больше 0, если $\Theta$ пробегает по множеству случайных по некоторой вычислимой мере последовательностей.

УДК: 621.391.1:519.2

Поступила в редакцию: 28.01.1982

Реферативные базы данных:

•