Проблема - эквивалентность
Cтраница 1
Проблема эквивалентности для детерминированных читающих преобразователей над свободной полугруппой с правым нулем разрешима. [1]
Проблема эквивалентности для ( линейных) рекурсивных, схем сводится к проблеме эквивалентности для ( линейных) контекстно-свободных языков. [2]
Проблема эквивалентности расположений зарядов, конечно, разрешима при использовании симметрии молекулы. Те атомы с одним и тем же атомным номером, которые занимают положения в молекуле, переходящие друг в друга при операциях симметрии точечной группы симметрии молекулы, являются эквивалентными. [3]
Проблема эквивалентности различных методов расчета возникает не только при рассмотрении связи соответствующих расчетных схем и сравнении точности конечных формул. Она появляется и при поиске наилучшей классификации структурных элементов для схем с одинаковым числом постоянных. [4]
 |
Схема Патерсона всегда останавливается. [5] |
Кроме проблемы эквивалентности, представляют интерес и другие алгоритмические проблемы. [6]
Неразрешимость проблем эквивалентности и пустоты языков следует из теоремы 5.3 и неразрешимости этих проблем для рекусивно перечислимых языков. [7]
Рассмотрим проблему эквивалентности двух любых форм представления информации. [8]
О проблеме эквивалентности в теории особых интегральных уравнений, Сообщ. [9]
Разрешима ли проблема эквивалентности для монодических стандартных схем программ ( все предикаты и функции зависят от одной переменной) с более чем двумя переменными. [10]
Следствие 7.7. Проблема эквивалентности для унарных рекурсивных схем равносильна проблеме эквивалентности для LA ( 1) - распозна-вателей. [11]
Теорема 6.6. Проблема эквивалентности для монадиче-ских схем с непересекающимися циклами является разрешимой. [12]
Теорема 6.10. Проблема эквивалентности для прогрессивных схем является разрешимой. [13]
Следствие 7.8. Проблема функциональной эквивалентности разрешима для линейных, металинейных и ультралинейных рекурсивных схем. [14]
Следствие 7.9. Проблема функциональной эквивалентности схем Янова разрешима. [15]
Страницы: 1 2 3 4