Cтраница 4
Структурная схема автомата, заданного графом на 26. [46] |
Отметим, что синтез частичных автоматов не отличается от изложенного выше. При тех комбинациях входных сигналов и внутренних состояний частичного автомата, которые не входят в кодированные таблицы переходов и выходов, значения функций возбуждения можно выбирать произвольно. [47]
Если А и В - вполне определенные автоматы, то автомат К является вполне определенным автоматом. Если хотя бы один из исходных автоматов является частичным автоматом, то в результате умножения получаем частичный автомат К. [48]
Графы переходов управляющих автоматов, построенных по модели Мили ( а и модели Мура ( б. [49] |
Далее, исходя из имеющегося графа переходов, осуществляют шаги по построению УА в соответствии с общими правилами структурного синтеза автоматов. Особенностью УА является то, что он обычно является частичным автоматом, поскольку многие сочетания входных сигналов оказываются невозможными; это упрощает как дальнейшую процедуру синтеза УА, так и структурную схему автомата. [50]
Если А и В - вполне определенные автоматы, то автомат К является вполне определенным автоматом. Если хотя бы один из исходных автоматов является частичным автоматом, то в результате умножения получаем частичный автомат К. [51]
Производя индукцию по п, приходим к заключению, что отображения, индуцируемые автоматами Л и В, одинаковы. Этот вывод справедлив не только для обычных ( вполне определенных) автоматов, но и для частичных автоматов. [52]
Несколько сложнее обстоит дело с понятием эквивалентности частичных автоматов. Для того чтобы определить это понятие, необходимо прежде всего установить, что следует понимать под отображением, индуцируемым данным частичным автоматом А. Для этой цели, как и прежде, мы будем подавать на вход частичного автомата ( приведенного предварительно в начальное состояние) различные входные слова. А, мы можем столкнуться с положением, когда соответствующий ей выходной сигнал не определен. [53]