Определение - эквивалентность
Cтраница 2
Авторы не приводили определения эквивалентности состояний разных автоматов; по-видимому, читатель должен изобрести его - Прим. [16]
Возможен иной вариант определения эквивалентности: две системы скользящих векторов эквивалентны, если каждая из них в отдельности образует с одной и той же третьей системой систему, эквивалентную нулю. [17]
Отсюда на основании определения эквивалентности цепей сиси следует эквивалентность дс и дс, что и доказывает лемму. [18]
В соответствии с определением эквивалентности тензоров получаем ( т, п, р & ( т2, п2, р2) ( пг гпч, п пъ Pip2, и теорема 6.3 доказана. [19]
В языках программирования такое определение эквивалентности называется определением константы, а / - идентификатором константы. [20]
Итак, оба наши определения эквивалентности равносильны. Но теперь возникает вопрос, не являются ли некоторые аксиомы эквивалентности излишними. Например, быть может, из рефлексивности и сим метричности уже следует транзитивность отношения. В следующей главе мы будем как раз изучать рефлексивные и симметричные отношения и увидим, что для них транзитивность вовсе не обязательна. В четвертой главе мы будем заниматься рефлексивными и транзитивными отношениями и покажем, что они отнюдь не обязаны быть симметричными. [21]
Отметим, что в определение эквивалентности входят верхние грани соответствующих критериев, а не их максимумы, поэтому оно справедливо и в том случае, когда одна из упомянутых SB нем задач или обе эти задачи имеют решение в форме максимизирующих последовательностей. [22]
Отметим, что проблема определения эквивалентности двух грамматик алгоритмически разрешима только для узкого класса языков, а именно языков типа 3 ( см. ниже), для других языков эта задача разрешима только для некоторых случаев. [23]
Отметим, что проблема определения эквивалентности двух грамматик алгоритмически разрешима только для узкого класса языков, а именно языков типя 3 ( см. ниже), для других языков эта задача разрешима только для некоторых частных случаев. [24]
 |
Иллюстрация свойств отношения порядка. [25] |
Будем рассматривать этот вывод как определение эквивалентности на графе и покажем, что такое определение удовлетворяет всем трем условиям отношения эквивалентности. Условия рефлексивности хх и симметрии ху - - у х являются очевидными и вытекаг ют из данного выше определения эквивалентности. [26]
Как непосредственное следствие из нашего определения эквивалентности получаем, что Mi - Mz влечет 5мг 5м2 т - е - Две эквивалентные машины перечисляют одно и то же множество. [27]
 |
Схема расположения датчиков 1 - 10 на раме автомобиля Урал-375. [28] |
Сопоставление накопленных усталостных повреждений и определение эквивалентности пробегов в сопоставляемых условиях до последнего времени остается предметом настойчивых теоретических и экспериментальных исследований. [29]
Для дальнейшего обсуждения проблемы необходимо ввести определение эквивалентности алгоритмов. [30]
Страницы: 1 2 3 4