Раскраски вершин S2 и S7 совпадают по второй компоненте. Поскольку раскраски вершин S5 и S2 ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Горбатов В.А. Логическое управление распределёнными системами


Раскраски вершин S2 и S7 совпадают по второй компоненте. Поскольку раскраски вершин S5 и S2 также совпадают по второй компоненте, то для переходов, взвешенных входным вектором Х3, недетерминированности не возникает. Таким образом, данная многокомпонентная раскраска определяет кодирование внутренних состояний автомата в 3-значном структурном алфавите, при котором элементы памяти функционально несвязны.

(cкачать страницу)

Смотреть книгу на libgen

Раскраски вершин S2 и S7 совпадают по второй компоненте. Поскольку раскраски вершин S5 и S2 также совпадают по второй компоненте, то для переходов, взвешенных входным вектором Х3, недетерминированности не возникает. Таким образом, данная многокомпонентная раскраска определяет кодирование внутренних состояний автомата в 3-значном структурном алфавите, при котором элементы памяти функционально несвязны.