Проблема - эквивалентность
Cтраница 2
Оказывается, что проблемы эквивалентности и распознавания принадлежности алгоритма к некоторому классу алгоритмов в своей полной постановке алгоритмически неразрешимы. [16]
Над полем Q проблема эквивалентности сводится к аналогичной проблеме для полей р-адических чисел: для того чтобы К. Аналогичное утверждение справедливо п для А - п о л е и - алгебраических числовых полей и полей алгебраич. [17]
Заметим, что проблема эквивалентности для класса схем, которые всегда останавливаются, является разрешимой, хотя сама принадлежность этому классу неразрешима. [18]
 |
Специальные символы канонического режима. [19] |
Наконец, существует проблема эквивалентности устройств. Логически в конце строки текста требуется символ возврата каретки, чтобы переместить курсор обратно к колонке 1, и символ перевода строки для перемещения курсора на следующую строку. Требовать от пользователя вводить оба символа - вряд ли удачная мысль, хотя на некоторых терминалах имеется специальная клавиша, посылающая оба символа с 50-процентной вероятностью сделать это именно в том порядке, в котором их ожидает программа. Преобразование всего, что поступает с клавиатуры в стандартный внутренний формат, используемый операционной системой, является одной из задач драйвера. [20]
Подход к решению проблемы эквивалентности основан на понятиях продолжения и структурной функции. [21]
Приходим к рассмотрению проблемы эквивалентности относительно конечно-порожденных по дпо л угрупп полугруппы эндоморфизмов свободной универсальной Q - алгебры. [22]
Фурута доказали разрешимость проблемы функциональной эквивалентности для схем Я нова, дополненных памятью типа push - down. Этот класс схем был назван S - схемами. В нашей терминологии S - схема - это детерминированный читающий стековый преобразователь над свободной полугруппой. [23]
С физической точки зрения проблема эквивалентности ансамблей имеет два аспекта: а. Поправки к термодинамическому равенству (2.9), которые возникают при использовании точного соотношения (2.17) для конечных систем, являются результатом статистических флуктуации. Следовательно, необходимо доказать, что флуктуации асимптотически исчезают при переходе к термодинамическому пределу. [24]
Уже для этого случая проблема функциональной эквивалентности неразрешима. Доказательство проводится путем построения автомата, распознающего протокол машины Тьюринга. [25]
 |
Химические сдвиги 14М, 13С и 17О солей нитросоединений. [26] |
В первую очередь это касается проблемы эквивалентности нитрогрупп в полинитроалканах. Спектры - JtMP-на - ядрах 14N всех изученных анионов нятросоедине-ний состоят только из одной симметричной линии, которая сильно сужается с увеличением числа нитрогрупп при одном атоме углерода. Это, по мнению авторов, свидетельствует о равноценности нитрогрупп полинитроалканов. Такой обмен должен замедляться при понижений температуры. Возможно, частота обмена достаточно велика для усреднения химических сдвигов вплоть до - 75 С. [27]
В работе [7] доказана неразрешимость проблемы эквивалентности в классе схем программ, близком к классу конечных однозначных последовательных схем. [28]
Существование алгоритма, который решает проблему эквивалентности, вытекает из следующих соображений. Если автоматы Ai и А2 не имеют ветвлений в несущественных состояниях, то их эквивалентность устанавливается следующим образом. Выберем для каждого слова q в алфавите Y некоторым стандартным образом эквивалентное ему в полугруппе слово a ( q) наименьшей длины. [29]
Тем самым для этих полей разрешается проблема эквивалентности К. [30]
Страницы: 1 2 3 4