Cтраница 1
Конгруэнция p ( pi, p2, рз) автомата ( А, 5, С) - это тройка эквивалентностей, также согласованная с основными операциями. Эти условия согласованности легко выписать. Сведения о кон-груэнциях автоматов имеются, например, в готовящейся к печати книге Б. И. Плоткина, А. А. Гварамия и Л. Я. Гринглаза, специально посвященной автоматам. Там же имеются различные примеры и рассматриваются свободные автоматы. [1]
Конгруэнция р определяется как вербальная конгруэнция по многообразию алгебр Халмоша, специализированному в в, т - это синтаксическая конгруэнция, определявшаяся в предыдущем пункте, и т ] определяется при семантическом подходе. [2]
Конгруэнция называется ориентируемой, если существует непрерывное поле единичных векторов, касательных к линиям конгруэнции. [3]
Конгруэнция обладает локальным вращением тогда и только тогда, когда система имеет ненулевой спин. [4]
Конгруэнция впервые рассмотрена А. [5]
Конгруэнция К2 квадрик в /: 1 имеет в общем случае восемь фокальных поверхностей, к-рых касаются все квадрики конгруэнции. Для каждой коники С комплекса, плоскости к-рого образуют двупараметрич. [6]
Конгруэнция р называется полной системой определяющих соотношений автомата А. Три множества Z, X, Y образующих и определяющие соотношения p ( fli, р2, Рз) полностью задают автомат А. В действительности для задания А не обязательно исходить из полной системы определяющих соотношений. [7]
Конгруэнция р называется характеристической, если она инвариантна относительно всех автоморфизмов алгебры G, и вполне характеристической, если имеет место инвариантность относительно всех эндоморфизмов. [8]
Конгруэнция р является конгруэнцией Г - си-стемы G, так как если я М, я, 6, а. [9]
Изотропная конгруэнция, которая является бессдвиговой в одной точке, в присутствии конформной кривизны может иметь сдвиг в других точках. Напомним, что теорема Керра устанавливает тесную связь между условием бессдвиговости изотропных конгруэнции в плоском пространстве-времени и комплексно аналитической структурой в - изображении. Тот факт, что понятие бессдвиговости нельзя применить в общем искривленном пространстве-времени к изотропным геодезическим в целом, указывает в сильной степени на то, что. [10]
Конгруэнция W может входить в пару только с конгруэнцией W. [11]
![]() |
Геометрия в задаче о дифракции пучка лучей на краю отверстия. ( Из.| Круговая каустика лучей, дифрагированных на прямолинейном крае, освещаемом точечным источником. [12] |
Конгруэнция лучей, дифрагированных на границе отверстия, полностью аналогична конгурэнциям, рассмотренным в гл. Заметим прежде всего, что граница сама по себе является каустикой дифрагированных лучей. Действительно, по определению каустикой называют геметрическое место точек, где сечение элементарной лучевой трубки стягивается в отрезок. Именно это имеет место на кромке отверстия. Следовательно, отличительной особенностью таких конгруэнции является, то что одна из поверхностей каустики сводится к криволинейному контуру. [13]
Конгруэнция B ( S) состоит из всех пар ( х, у) таких, что любая правая последовательность, начинающаяся с ( х, у), обрывается. Полугруппа В-радикальна тогда и только тогда, когда любая / п-последовательность ее элементов содержит левый нуль. [14]
Конгруэнция OY, - это наибольшая конгруэнция на 31, для ко-торойво () является объединением классов. [15]