Минимальный автомат - Большая Энциклопедия Нефти и Газа, статья, страница 3
Если вы спокойны, а вокруг вас в панике с криками бегают люди - возможно, вы что-то не поняли... Законы Мерфи (еще...)

Минимальный автомат

Cтраница 3


Эффективная процедура минимизации может служить основой для эффективного алгоритма проверки эквивалентности автоматов. Суть заключается в следующем. Минимальный автомат с точностью до изоморфизма - единственный.  [31]

32 Схема максимального автомата прямого действия. [32]

Автоматы прерывают цепь тока при тех или иных отклонениях от нормального режима. Максимальные автоматы прерывают цепь в тех случаях, когда величина тока превышает максимально допустимое значение. Минимальные автоматы прерывают цепь при уменьшении величины напряжения на 50 - 70 % по сравнению с номинальной или при выключении напряжения.  [33]

Если С s / 4 - конечный префиксный код, то все подгруппы синтаксического моноида М ( С) тривиальны в силу теоремы 1.5 из гл. Однако моноид М ( С) имеет, вообще говоря, нетривиальные подгруппы. Так как минимальный автомат, распознающий С, легко получается из С ( гл. Далее, как показывает теорема 2.12 из гл. Важно сразу отметить, что конечность кода С - это ключевое ограничение.  [34]

При нормальной работе электродвигателя электромагнит 5 притягивает сердечник 4 с защелкой, которая удерживает тягу 2 с рубильником во включенном состоянии. Под действием пружины / рубильник выключается. Катушки электромагнита минимального автомата включены параллельно с двигателем.  [35]

Тогда эквивалентность автоматов 31 и 9Г равносильна тому, что для любого состояния автомата 91 найдется эквивалентное ему состояние автомата 91, и обратно. Автомат является минимальным тогда и только тогда, когда любые два его состояния неэквивалентны. Для любого автомата минимальный автомат определяется однозначно с точностью до изоморфизма. На этой же теореме основан известный алгоритм минимизации конечных автоматов, состоящий в построении так наз. Приведенный автомат является минимальным, поскольку любые два его состояния неэквивалентны.  [36]

Емкость последней зависит от местных условий, в большинстве случаев рассчитывается на несколько дней. Между динамо и батареей необходимо установить минимальный автомат для предотвращения обратного тока при остановке машины.  [37]

Ранее был описан метод построения минимального автомата из автомата с произвольным числом эквивалентных состояний. Построив Pi-таблицы, легко построить таблицу минимального автомата.  [38]

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

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

Эквивалентные состояния на рис. 4.6 объединены штриховой линией. Применяя описанную выше процедуру к графу Аг, изображенному на рис. 4.6, получаем граф переходов минимального автомата А з, показанный на рис. 4.7. Состояния Qz и Q ( см. рис. 4.6), объединенные в состояние Qb, соединены двумя дугами, не выходящими за пределы контура, образованного штриховой линией. Это означает, что при поступлении символа 3 или у состояние автомата Qb не изменяется, поэтому в графе переходов минимального автомата А 3 ( см. рис. 4.7) у состояния Qb имеется петля ( ip 1) V ( Y. О - Используя рассмотренную методику, можно убедиться, что автомат А2, представленный графом переходов на рис. 4.3, является минимальным.  [41]

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

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

В предыдущих параграфах рассматривалась проблема нахождения истинного состояния автомата, таблица переходов которого известна. В этом параграфе рассматриваются только минимальные автоматы.  [44]

Цель настоящей главы состоит в изучении языков, распознаваемых автоматами с конечным числом состояний. Языки этого типа были введены Клини [1956] и названы им регулярными языками. В § 1 мы даем определение автомата и приводим общие алгебраические свойства автоматов. Главным результатом здесь является тот факт, что синтаксический моноид распознаваемого языка L конечен и совпадает с моноидом переходов минимального автомата, распознающего L. Параграф 2 содержит характеризацию распознаваемых языков в терминах формальных грамматик ( см. гл. Применяя к теории кодов вероятностный подход, мы используем в § 4 теорему Клини для получения некоторых ха-рактеризаций рациональных префиксных кодов. В § 5 рассматривается связь между языками и их синтаксическими моноидами. Центральной здесь является принадлежащая Эйленбергу [1976] теорема, устанавливающая взаимно однозначное соответствие между псевдомногообразиями конечных моноидов и некоторыми семействами рациональных языков, которые здесь называются потоками языков. Это соответствие подробно исследуется в гл.  [45]



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