Синтез абстрактного автомата Милли на элементах памяти D или T-триггерах, страница 8

00

01

11

10

0

Z11

Z10

Z12

Z14

1

Z13

Z9

Z8

-

Коэффициент эффективности после оптимального соседнего кодирования станет равен:

Rэф=27/19=1,42

2)Проделаем те же операции со вторым подавтоматом 

А2= {Z1, Z2, Z3, Z4, Z5, Z6, Z7, Z15,}.  

Карта Карно для второго подавтомата:

00

01

11

10

0

Z2

Z3

Z15

Z1

1

Z5

Z6

Z4

Z7

Коэффициент эффективности после оптимального соседнего кодирования станет равен:

Rэф=25/19=1,31

Синтез автомата для  заданного элемента  памяти

(T-триггер).

1)Синтез подавтомата А1= {Z8, Z9, Z10, Z11, Z12, Z13, Z14}. Закодируем входные и выходные сигналы, а также перепишем таблицу переходов и выходов заданного подавтомата в закодированном виде:

Xi

α2α1

Yi

Β2β1

X1

00

Y1

00

X2

01

Y2

01

X3

10

Y3

10

*

11

*

11

Z8

111

Z9

101

Z10

001

Z11

000

Z12

011

Z13

100

Z14

010

X1

00

111

00

000

01

011

01

010

00

111

00

000

01

011

01

X2

01

101

00

001

01

101

01

100

00

101

00

001

01

100

01

X3

10

000

01

111

00

000

00

001

00

011

01

011

01

000

00

Qi -> Qi+1

T

0 -> 0

0

0 -> 1

1

1 -> 0

1

1 -> 1

0

d3                                                                                                         d2

γ3γ2γ1

α2α1

000

001

011

010

110

111

101

100

000

001

011

010

110

111

101

100

00

0

0

1

0

X

0

1

1

00

1

1

0

0

X

0

0

0

01

1

1

1

1

X

0

1

1

01

0

0

1

1

X

1

0

0

11

X

X

X

X

X

X

X

X

11

X

X

X

X

X

X

X

X

10

0

0

0

0

X

1

0

1

10

0

0

0

1

X

1

1

1

 

Cd3 ДНФ= (2+3+3+3+4)+5=20.                               C d2   ДНФ= (2+2+3+4)+4=15.                                     

Cd3 кнф= (2+3+3+3+4)+5=20.                                    C d2 кнф= (2+3+3+3+3)+5=19.

d1

Cd1 ДНФ =(3+3+3+4+4+5)+6=28

Cd1 кнф =(3+3+3+3+3+4+4)+7=30.

γ3γ2γ1

α2α1

000

001

011

010

110

111

101

100

00

0

0

0

1

X

0

1

0

01

0

0

0

0

X

0

0

1

11

X

X

X

X

X

X

X

X

10

1

1

0

0

X

1

0

1