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