Синтез цифровых автоматов. Захаров Н.Г - 64 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

63
Таким образом, полученный описанным способом автомат А есть результат
композиции исходных автоматов A
1
, ..., A
n
. Входными узлами этого автомата служат
внешние входные узлы схемы, а выходными узлами – внешние выходные узлы.
4.3. Условия корректности и правильности построения схем
Операция отождествления узлов не всегда определена однозначно. Поэтому
существует много различных возможностей для композиции одних и тех же автома-
тов. Вместе с тем не всякое отождествление узлов приводит к схеме, которую можно
рассматривать в качестве структурной схемы некоторого автомата. Для того, чтобы
это можно было сделать, необходимо при отождествлении узлов соблюдать два усло-
вия, которые называются условиями корректности построения схемы.
Первое условие состоит в том, что в любой момент автоматного времени на
всех внешних выходных узлах схемы должны появляться какие-то элементарные сиг-
налы. Считая, что в схеме не должно быть заведомо лишних узлов (то есть таких уз-
лов, которые можно исключить из схемы, не нарушая ее функционирования), усло-
вимся, что в любой момент времени на каждый узел схемы (как внешний, так и внут-
ренний) поступает какой-либо элементарный сигнал.
Второе условие корректности построения схемы заключается в том, что неод-
нозначность элементарных сигналов в каком-либо узле схемы хотя бы в один момент
времени будет считаться недопустимой.
Существует два источника неоднозначности элементарного сигнала в узле. Во-
первых, неоднозначность может иметь место в случае, если к какому-нибудь узлу
подсоединено одновременно несколько выходных узлов, являющихся источниками
элементарных сигналов.
На практике присоединение к одному и тому же узлу нескольких выходных уз-
лов часто не приводит к возникновению неоднозначности. Это бывает только тогда,
когда среди элементарных сигналов определена некоторая естественная упорядо-
ченность, в силу которой одновременный приход нескольких элементарных сигна-
лов эквивалентен приходу лишь наибольшего из всех фактически пришедших сигна-
лов. В этом случае будет иметь место естественное разделение элементарных сиг-
налов. Такое естественное разделение наблюдается, например, в случае релейно–
контактных схем, а также во многих электронных схемах с импульсным представле-
нием элементарных сигналов.
Во-вторых, источником неоднозначности элементарных сигналов в узле могут
быть так называемые циклические цепи или петли структурных схем. Условимся на-
зывать цепью конечную упорядоченную последовательность автоматов B
1
, ..., B
k
,
входящих в схему, у которых хотя бы один из выходных узлов каждого предыдущего
автомата соединен с некоторым входным узлом следующего за ним автомата. Если к
тому же хотя бы один из выходных узлов последнего автомата цепи соединен с ка-
ким-нибудь входным узлом первого автомата той же цепи, то цепь называется цик-
лической. Обо всех узлах, входящих в цепи и петли, говорят как об узлах этой цепи
или этой петли.
О цепи B
1
, ..., B
k
говорят, что она начинается любым из входных узлов автома-
та B
1
и кончается любым из выходных узлов автомата B
k
. Условимся также, что два
отождествленных между собою узла а и b или один даже единственный узел состав-
ляют цепь (состоящую из пустого множества автоматов). В первом случае цепь начи-

Страницы