Согласованная с отношением порядка копроекция вычислимых мер не всегда вычислима
В статье приводится пример двух сравнимых (т.е. являющихся проекциями меры на последовательностях в алфавите пар символов, запрещающей пары, у которых первый член меньше второго) вычислимых вероятностных мер на бесконечных последовательностях из нулей и единиц, при этом любая такая копроекция невычислима.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
В статье приводится пример двух сравнимых (т.е. являющихся проекциями меры на последовательностях в алфавите пар символов, запрещающей пары, у которых первый член меньше второго) вычислимых вероятностных мер на бесконечных последовательностях из нулей и единиц, при этом любая такая копроекция невычислима. <...> В статье приводится пример двух сравнимых (т.е. являющихся проекциями меры на последовательностях в алфавите пар символов, запрещающей пары, у которых первый член меньше второго) вычислимых вероятностных мер на бесконечных последовательностях из нулей и единиц, при этом любая такая копроекция невычислима. <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: