Теория - конечный автомат
Cтраница 1
Теория конечных автоматов ( в том числе и комбинационных схем) применяется к анализу и синтезу различных узлов и схем вычислительной машины, таких, как схемы совпадения и собирания, триггерные схемы, регистры, счетчики, дешифраторы, на основе которых конструируются основные устройства ЦВМ. При этом особую роль играют так называемые автоматы Мура, в которых выходное слово определяется только внутренним состоянием в данный момент времени. В отличие от автоматов Мили, выходное слово в которых зависит и от комбинации входных сигналов в тот же момент времени, для автоматов Мура каждому внутреннему состоянию соответствует определенное выходное слово, в связи с чем таблицы описания автомата ( в частности, таблица выходов) существенно упрощаются. [1]
Теория конечных автоматов занимается синтезом автоматов по заданным условиям работы и в том числе решением проблемы черного ящика - определением возможной внутр. [2]
 |
Схема ЯЗ-триггера в базисе И - НЕ с прямым и инверсным обозначением входов. [3] |
Из теории конечных автоматов известно, что когда две ( или более) внутренние переменные изменяются в течение перехода из одного состояния в другое, то говорят, что имеет место состязание между изменяющимися переменными. Если желаемое состояние зависит от порядка ( последовательности) изменений переменных, то говорят, что состязание критическое, а в противном случае-некритическое. Поэтому важнейшим этапом синтеза триггеров является представление внутренних состояний в виде комбинаций значений внутренних переменных-кодирование состояний. Способ кодирования, устраняющий состязания ( гонки), называется проти-вогоночным. При способе кодирования соседнее кодирование состояний, состязания всегда отсутствуют, любые два последовательных состояния кодируются наборами, отличающимися состояниями лишь одной элементарной запоминающей ячейки. [4]
В теории конечных автоматов проблему наблюдаемости обычно называют диагностической проблемой. Примером проблемы наблюдаемости является задача диагностики заболеваний. Конкретное заболевание - это одно из возможных состояний, в котором в данный момент находится организм как система. Задача состоит в оценке этого состояния по наблюдаемому выходу системы, например показанию термометра и анализу крови. [5]
Истоки этой фундаментальной для теории конечных автоматов теоремы восходят еще к работе С. К. К лини2), где был впервые доказан один ее важный частный случай. Одним из следствий этой теоремы является то, что язык регулярных выражений оказывается достаточным для описания отображений, индуцируемых произвольными конечными автоматами. [6]
 |
Конечный автомат. [7] |
Более подробное введение в теорию конечных автоматов изложено в разд. [8]
Алгебраические методы, используемые в теории конечных автоматов, относятся к одной из следующих двух категорий: методы полей Галуа ( или конечных полей) и методы теории групп и полугрупп. [9]
Петри используются понятия не адекватные понятиям теории конечных автоматов В частности позиции соответствует некоторое условие, причем метка означает истинность условия, а переходу некоторое действие, т.е. понятие состояние не используется. [10]
Весьма интересные исследования возникают на стыке теории конечных автоматов и теории информации, позволившие, в частности, дать основу методике проектирования надежных систем из ненадежных элементов. [11]
Важным разделом современной теории автоматического управления является теория конечных автоматов. [12]
Эффективным методом имитационного моделирования [2] сложных систем является теория конечных автоматов. [13]
В технической кибернетике формулируются и развиваются новые разделы - теория конечных автоматов, предметом которой наряду со сложными системами управления большим числом объектов становятся и сами вычислительные и логические машины; теория обучаемых и самообучаемых автоматов; теория распознавания сложных ситуаций ( образов) и основывающаяся на ней техническая диагностика. Суще-ственно продвигается наука, изучающая процессы передачи и обработки информации для целей управления. [14]
Наконец, следует упомянуть об использовании методов декомпозиции в теории конечных автоматов. Проблема минимизации структуры конечных автоматов имеет весьма эффективное решение для задач относительно малой размерности и существенно затрудняется при переходе к многомерным случаям. Методы декомпозиции, относительно далеко продвинутые в этой области, дают здесь существенные результаты. [15]
Страницы: 1 2 3 4