Cтраница 2
Существует минимальная конгруэнция Y на Я, такая, что Я / Y - групповой автомат. Если Я - минимальный автомат, распознающий С для конечного префиксного кода С, то Т ( Я / у) - циклическая группа, порядок которой равен наибольшему общему делителю длин слов из С. [16]
В настоящем примере задерживающий элемент представляет собой стягивающий автомат, который определяет такое действие, как групповой автомат. [17]
Распределительные пункты серии ПР41 ( табл. 4 - 16) имеют пять модификаций - две с четырьмя трехполюсными групповыми автоматами и четырьмя трехфазными конденсаторами по 18 квар 380 В для повышения коэффициента мощности установок с лампами ДРЛ ( см. § 4 - 10, рис. 4 - 8) и три модификации с одно - и трехполюсными групповыми автоматами без конденсаторов. В качестве вводного применяется автомат типа АЕ3728Н с приводом дистанционного управления. [18]
В этой главе строятся различные автоматные конструкции, рассматриваются декомпозиция автоматов ( доказывается теорема Крона - Роудза) и неразложимые групповые автоматы. [19]
Основной результат теории декомпозиции Крона-Роудза заключается в том, что посредством собственной декомпозиции произвольного автомата получаются компоненты, являющиеся групповым автоматом или весьма элементарным стягивающим автоматом. [20]
Последовательно-параллельная декомпозиция группового автомата. [21] |
Следовательно, эта эквивалентность не зависит от начального состояния, в то время как соотношение между произвольным автоматом и его стандартным групповым автоматом зависит от начального состояния. Заметим также, что в двух построенных нами автоматах, а также в их последовательно-параллельном соединении между входом и выходом имеется задержка на единичный элемент времени. [22]
Начиная с 1 июля 1963 г., щитки ЩУЭ-4 должны изготовляться с расширенной зоной обслуживания под нижним рядом счетчиков и переносом пакетных выключателей вверх под групповые автоматы. [23]
В частности, если мы выберем в качестве Я группу, состоящую из одного тождественного преобразования, то увидим, что произвольный перестановочно-возвратный автомат можно построить как каскадное соединение группового автомата и автомата, каждое отображение переходов которого либо возвратное, либо тождественное. [24]
В том же случае, но если группы могут быть включены частично - на каждую группу устанавливается отдельная батарея ( хотя бы в общем шкафу), причем пускатели каждой батареи блокируются с групповыми автоматами щита и включаются при включении последних. [25]
Распределительные пункты серии ПР41 ( табл. 4 - 16) имеют пять модификаций - две с четырьмя трехполюсными групповыми автоматами и четырьмя трехфазными конденсаторами по 18 квар 380 В для повышения коэффициента мощности установок с лампами ДРЛ ( см. § 4 - 10, рис. 4 - 8) и три модификации с одно - и трехполюсными групповыми автоматами без конденсаторов. В качестве вводного применяется автомат типа АЕ3728Н с приводом дистанционного управления. [26]
Существуют полугруппы любой сложности. Другими словами, если имеется произвольное каскадное соединение групповых автоматов, то в общем случае невозможно перерасположить их так, чтобы групповые автоматы были собраны вместе. [27]
Теорема 12.10 каждому многообразию групповых автоматов сопоставляет три вложенных друг в друга многообразия групп. Теорема 12.11 каждой такой тройке многообразий групп сопоставляет многообразие групповых автоматов. Следующее утверждение показывает, что это соответствие обладает определенными свойствами замкнутости. [28]
Очевидно, что полугруппа S перестановочно-возвратного автомата представляет собой объединение группы G и множества возвратных элементов R. Стандартный автомат полугруппы S может быть представлен последовательно-параллельным соединением группового автомата с группой G и стандартного полугруппового автомата с полугруппой R1, полученной из R в результате добавления двусторонней единицы. [29]
Из теории полугрупп известно ( см. раздел 1.21 из гл. Если теперь посмотреть на каскадное соединение на рис. 1, в котором самое большее - один групповой автомат и которое моделирует Л ( G; А, В; С), то сразу придем к требуемому результату. [30]