Cтраница 2
ЦНИЙ-Н6 с изломанными угловыми пружинами - при неплотном его прилегании к упорным угольникам; трещины в стенке горловины поглощающих аппаратов грузовых и пассажирских вагонов; трещины в тяговом хомуте; нетиповое крепление клина тягового хомута; трещины или излом ( обнаруживаемые осту-киванием или щупом) клина тягового хомута; клин, отремонтированный сваркой; незакрепленный валик паровозной розетки; розетки или упорные угольники с ослабшими заклепками; неправильно поставленные маятниковые подвески - широкими головками вниз; центрирующая балочка, не зацепленная за нижнюю часть корпуса розетки; оборванная или неотрегулированная по правилам плановых видов ремонта цепь расцепного привода. [16]
Если все правила грамматики G имеют общий вид А - ВС или А-я, где Л, В, С - произвольные нетерминальные символы, а - произвольный терминальный символ, то говорят, что G - нормальная грамматика. В такой грамматике правила вида А - а называют терминальными, а правила вида А - ВС - двойными правилами. [17]
КС-грамматики будем называть небинарными, если правая часть любого правила содержит более двух символов. Например, грамматика с правилами вида А - АаЪ, В-АВС, А-и, где А, В, Се VH, a, 6 е FT со не пустая цепочка в этой грамматике, содержащая более двух символов. [18]
Доказательство правильности рассматриваемой программы проводится ниже. Так как предполагаемая функция оказывается условным правилом вида ( / 1 / 2), состоящим из двух частей, трассировочная таблица для последовательностей условных правил удобна в части доказательства, где while - тест принимает значение истина. [19]
Существенно, что порождающая грамматика не есть алгоритм, поскольку правила подстановки представляют собой не последовательность предписаний, а совокупность решений. Это означает, что, во-первых, правило вида а - Ь понимается в грамматике как а можно заменить на Ь ( но можно и не заменять); в алгоритме же а - Ъ означало бы а не следует заменить на Ь ( нельзя не заменять); во-вторых, порядок применения правил в грамматике произволен: любое правило, в принципе, разрешается применять после любого. [20]
Поясним это на примере. Допустим, что в неукорачивающей грамматике имеет место правило вида АВ - ВА, где А и В - нетерминальные символы. [21]
Ее действие основано на применении правила логического вывода Modus Ponendo Ponens, Суть применения этого правила в продукционных системах состоит в следующем. Если в РП присутствует истинный факт А и в БП существует правило вида ЕСЛИ А, ТО Б, то факт Б признается истинным и заносится в РП. [22]
УСЛ - условие, содержащее цепочки вида (1.3) или (1.4) или те и другие, а СЛЕД - следствие. Рассмотрим теперь объединение правил в уровни и подуровни и особые случаи записи правил. Условие в правиле вида (1.5) определяет какое-то подмножество действительных цепочек, образуемых совокупностью правил предшествующих k - уровней. В общем случае это подмножество является только частью всего множества действительных цепочек из слов ( k - 1) - го класса, определяемых заданной ПГ. [23]
Ее действие основано на применении правила логического вывода Modus Ponendo Ponens. Суть применения этого правила в продукционных системах состоит в следующем. Если в РП присутствует истинный факт Л и в БП существует правило вида ЕСЛИ А, ТО В, то факт В признается истинным и заносится в РП. [24]