Cтраница 2
Применение канонических таблиц ( уравнений) для задания ограниченно-детерминированных операторов уже было достаточно подробно рассмотрено. На алфавиты, фигурирующие в этих, таблицах, вообще говоря, никакие ограничения не накладываются. [16]
Таким образом, для любых ft и се существует ограниченно-детерминированный оператор веса /, увеличивающий входной период со в точности в / раз. [17]
Вернемся теперь к задаче о получении канонических уравнений для ограниченно-детерминированного оператора б путем построения такого его начального дерева ( желательно с минимально возможной высотой), которое содержит полную информацию об операторе. [18]
Наряду с каноническими таблицами ( уравнениями) для задания ограниченно-детерминированных операторов удобно пользоваться таблицами другого рода - таблицами с двойным входом, получившими название матриц перехода. [19]
Полученные соотношения определяют порядок построения и схему коммутации логической сети ограниченно-детерминированного оператора веса К посредством суперпозиции операторов двухвходной или одновходной триггерной ячейки. Схема включает slg2K триггеров и истинностные элементы, необходимые для образования выходной функции z ( t) и функций (6.14), (6.15), обеспечивающих связи между триггерами. [20]
Говорят, что событие представило в конечном автомате, если существует ограниченно-детерминированный оператор, распознающий его наступление. Относительно представимости событий в конечных автоматах справедлива следующая теорема. [21]
Термины и обозначения, только что введенные применительно к двум частным ограниченно-детерминированным операторам, естественным образом распространяются и на двойки состояний qi и q, общего ограниченно-детерминированного оператора б; это следует из того, что каждому состоянию однозначным образом сопоставлен свой остаточный оператор. [22]
При анализе схемы отнесение рангов к полюсам удобно также для составления канонических уравнений ограниченно-детерминированного оператора, реализуемого в логической сети. Проиллюстрируем это на примере логической сети N, изображенной на рис. 2.17. Система уравнений Е ( N), получаемая путем объединения уравнений составных элементов в сети N, приведена на стр. [23]
Ниже приведена функциональная таблица ( табл. VI.2), построенная по дереву рассматриваемого ограниченно-детерминированного оператора. [24]
В этой главе исследуется в самом общем виде задача построения оптимальной логической сети, реализующей заданный ограниченно-детерминированный оператор. [25]
Первый этап состоит в изучении заданных требований с тем, чтобы выяснить, существует ли удовлетворяющий им ограниченно-детерминированный оператор, и если да, то получить его канонические уравнения. [26]
Вместе с тем из приводимых ниже соображений видно, что всегда возможно продолжение дерева веса К в ограниченно-детерминированный оператор того же веса. [27]
Таким образом, установлено, что оператор, задаваемый - формулой (5.18) без предикатных кванторов, является ограниченно-детерминированным оператором. Более того, примененная нами процедура позволяет получить канонические уравнения этого оператора. [28]
В этом и последующем параграфах рассматриваются понятия достижимости и различимости, которые удобны для выяснения ряда специфических свойств ограниченно-детерминированных операторов. [29]
JtjVi и 9 v2 описывающих соответственно ограниченно-детерминированные операторы 0 х и QNz, порождает систему канонических уравнений 9tw, описывающую ограниченно-детерминированный оператор бдг. [30]