Основы синтеза и диагностирования автоматов. Воронин В.В. - 193 стр.

UptoLike

ВУЗ: 

ТОГУ | Хабаровск

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

Рубрика: 

189
герб). В других случаях очко не засчитывается. Выберем алфавиты:
X={Ц,Г}; Y={0,1}; S={ЦЦ,ЦГ,ГЦ,ГГ}. В алфавите S четыре состояния
соответствуют четырём возможным
исходам при (k-2)-м и (k-1)-м под-
брасывании. При таких алфавитах
мы можем построить граф автомата
(рис. 5.22), рассуждая о возможных
входных сигналах
в каждом состоя-
нии.
Опытный разработчик из ана-
лиза содержательного описания иг-
ровой ситуации пришёл бы к выво-
ду о том, что счёт очков на k-м
подбрасывании не зависит от (k-2)-
го исхода, а зависит только от ис-
хода (k-1)-го. Тогда автоматные
алфавиты могут быть представлены
по иному: X=Г
,Ц{}; Y={0,1};
S={Г,Ц}. В результате синтеза можно получить более простой граф
(рис. 5.23). Синтезированные автоматы будут эквивалентными (см.
рис. 5.22 и рис. 5.23). Более того, минимизируя автомат с четырьмя
состояниями (рис. 5.22), мы пришли бы к автомату с двумя состоя-
ниями (рис. 5.23).
5.3. Синтез абстрактных автоматов
Имея таблицу переходов-выходов автомата, можно по извест-
ным процедурам, рассматриваемым в структурной теории, построить
логическую схему автомата на заданных элементах. Однако, если ал-
Ц
/О
Г
/1
Ц
/О
Г
/О
ЦЦ
ЦГ
ГГ
ГЦ
Г
/1
Ц
/О
Ц
/О
Г
/О
Рис. 5.22
Г
/1
Ц
/О
Ц
/О
Ц
Г
Г
/О
Рис. 5.23

Страницы