Cтраница 2
Формальное определение задач конструк - ционного синтеза приведено ниже. [16]
Формальные определения языков программирования, включающие и синтаксис, и семантику, становятся все более важной темой исследований. В обзоре Дебаккера рассмотрено большинство ранних работ этого направления. На трех симпозиумах ( см. АСМ [1972], Энгелер [1971] и Растин [ 1972а ]) прекрасно были представлены последние работы. [17]
Формальное определение логического следствия на понятийном уровне очень простое, хотя технически довольно трудоемкое. На этом этапе читатель может без существенного ущерба для себя перейти прямо к разд. Оставшуюся часть данного раздела, а также следующий раздел при необходимости можно прочитать позднее. [18]
Новое, формальное определение несколько более общее. [19]
Формальное определение принципа меньшинства основано на понятии вето-функции. [20]
Формальное определение нечеткой ситуации заключается в следующем. [21]
Формальное определение синтаксиса языка программирования называется обычно грамматикой по аналогии с общепринятой терминологией естественных языков. Грамматика состоит из множества определений ( называемых правилами), которые описывают последовательности литер ( или лексем), образующих программы, допустимые на определяемом языке программирования. Формальная грамматика есть такая грамматика, которая использует строго определенную систему обозначений. Наиболее распространенная разновидность формальной грамматики - это НФБ-грамматика ( контекстно-свободная грамматика), которая находит широкое применение как при определении языка программирования, так и в исследованиях естественного языка. Одна из наиболее важных модификаций НФБ используется при определении Кобола; за неимением лучшего будем называть ее К. [22]
Формальное определение операции слияния мест дано в работе [8], здесь мы ограничимся неформальным описанием этой операции. Если Хили У - пустое множество, то результат слияния - исходная сеть N. X и У в сети / V строит новую сеть / V n ( N, X, У) в два этапа. Сначала каждое место х - X копируется в т экземплярах, где т - число мест в У, а каждое место / у е У копируется в п экземплярах, где п - число мест в X. Места копируются вместе с их разметкой и инцидентными дугами. [23]
Приведенное формальное определение магнитодвижущей силы, как легко видеть, аналогично определению электродвижущей силы. Под электродвижущей силой мы понимаем энергетическую меру процессов, вызывающих явление электрического тока; магнитодвижущая сила является энергетической мерой процессов, которые проявляются в образовании потока магнитной индукции. [24]
Формальное определение других метрических пространств, например, функциональных, не спасает дело, так как к этим пространствам надо привыкнуть, они должны стать естественными, надо почувствовать целесообразность и пользу от их введения, что при отсутствии знаний, по-видимому, невозможно. [25]
Формальные определения тактических и атактиче-ских цепей относятся к идеализированным структурам - полностью сторически упорядоченным или полностью неупорядоченным. [26]
Формальные определения тактических и атактиче-ских цепей относятся к идеализированным структурам - полностью стерически упорядоченным или полностью неупорядоченным. [27]
Формальное определение полной и удельной теплопроводности и полного и удельного термического сопротивления аналогично определению полной и удельной электрической проводимости и полного и удельного объемного электрического сопротивления. [28]
Наиболее общее формальное определение понятия измерений дано А. [29]
Формальное определение полной и удельной теплопроводности и полного и удельного теплового сопротивления аналогично определению полной и удельной электропроводности и полного и удельного объемного электрического сопротивления. [30]