Семантическая таблица

Cтраница 4

В случае реализации памяти на запоминающих элементах без фиксации воздействия для устранения запрещенных фигур преобразования / / у-м / ф минимальным сужением сигнатуры исходной модели строят семантическую таблицу D, каждой строке которой взаимно однозначно соответствует вершина графа Gfj, являющаяся концом дуг с противоположными весами. [46]

Семантическая теория информации 5 - 211 Семантически полная формула 3 - 207 Семантические категории 3 - 180; 5 - 234 Семантические операции 4 - 147 Семантические определения 4 - 151 Семантические парадоксы 4 - 211, 136, 209 Семантические понятия 4 - 576 Семантические правила 3 - 482 Семантические таблицы 3 - 561 Семантический анализ 5 - 348 Семантический анализ худож. [47]

Для устранения запрещенных фигур минимальным сужением сигнатуры модели i ifj строится семантическая таблица, каждой строке которой взаимно однозначно соответствует запрещенная фигура рассматриваемого модельного преобразования, каждому столбцу-дуга графа Gfj, участвующая в образовании запрещенных фигур. Покрытие семантической таблицы представляет собой такое множество ее столбцов [ /, что при удалении на графе Gfj всех дуг, соответствующих этим столбцам, устраняются все запрещенные фигуры, причем такое свойство множества С / отсутствует при вычеркивании хотя бы одного элемента из этого множества. Устранение запрещенных фигур минимальным сужением сигнатуры сводится к поиску минимального покрытия ( покрытия, обладающего минимальной мощностью) соответствующей семантической таблицей. Очевидно, что вид семантической таблицы и способы нахождения ее покрытий зависят от типа элементной базы, на которой реализуется память автомата. [48]

Исходный мограф.| Семантическая таблица. [49]

Необходимо преобразовать его в линейный с минимальным расширением носителя. Строим семантическую таблицу, каждый столбец которой соответствует запрещенной фигуре, подчиненной мографу Т, а строка - преобразованию его в разрешенную. На пересечении строк и столбцов ставится число элементов, подлежащих расщеплению в данном преобразовании данной запрещенной фигуры. [50]

Изменение веса ребра цикла на противоположный приводит к изменению веса цикла и, следовательно, к изменению структуры подтаблиц. Поэтому покрытие семантической таблицы должно при весе цикла, равном 1, содержать четное число ребер, входящих в данный цикл ( либо вообще их не содержать), а в случае, когда вес цикла равен 1 - нечетное число ребер данного цикла. [51]

Страницы: 1 2 3 4