Информатика и выч. техника \ Теория автоматов

Синтез автомата для преобразования двоично-десятичного кода с весами 6.2.2.1 в двоично-десятичный код с весами 6.3.2.1, страница 5

Рис. 3.2.1                                                            Рис. 3.2.2


На рис.3.2.3. представлена таблица переходов по 2-ой стратегии Мили.

a1

a2

a3

a4

a5

a6

a7

a8

a9

a10

a11

a12

a13

a14

a15

Z0

a2

a3

a4

a5

a6

a1

a8

a1

a10

a6

a8

-

a7

a15

a4

C

C

w0

w0

w0

w0

w0

w1

w0

w1

w1

-

w1

C

w1

Z1

a14

a12

a9

a7

a6

a1

a8

a1

a11

a6

a8

a13

a10

-

a9

C

C

w0

w0

w0

w0

w0

w1

w0

w1

w1

w0

w1

-

w1

Рис.3.2.3

На рис.3.2.4. представлена таблица переходов по 2-ой стратегии Мура.

w1

w0

C

w0

w0

w0

w0

w0

w0

w1

w0

w1

C

a1

a2

a3

a4

a5

a6

a7

a8

a9

a10

a11

a12

a13

Z0

a2

a3

a4

a5

a6

a7

a1

a9

a10

a2

a12

a1

a17

Z1

a13

a13

a8

a6

a6

a7

a1

a11

a10

a2

a12

a1

a14

w0

w1

w1

C

w1

w1

a14

a15

a16

a17

a18

a19

Z0

a15

a7

a10

a18

a5

a9

Z1

a16

a7

a10

a19

a6

a11

Рис.3.2.4

Из полученных автоматов выберем автомат Мили ,полученный по 2-й стратегии как имеющий наименьшее число состояний (15 состояний).

3.3.Минимизация автомата

На рисунке 3.3.1 приведена диаграмма пар совместимости состояний:           

 
                                                 

 


Рис. 3.3.1                       

Вычеркиваем несовместимые состояния и в итоге получаем таблицу следующего вида:


На рисунке 3.3.2 приведена соответствующая таблица построения МС-классов:                                 

N шага

МС-классы

0

{a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15}

1

{a1} { a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15}

2

{a1} {a2} {a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15}

3

{a1} {a2} {a3} {a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15}

4

{a1} {a2} {a3} {a4} {a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15}

5

{a1} {a2} {a3} {a4} {a5} { a6,a7,a8,a9,a10,a11,a12,a13,a14,a15}

6

{a1} {a2} {a3} {a4} {a5} {a6} {a7,a8,a9,a10,a11,a12,a13,a14,a15}

7

{a1} {a2} {a3} {a4} {a5} {a6} {a7} {a8,a9,a10,a11,a12,a13,a14,a15}

8

{a1} {a2} {a3} {a4} {a5} {a6} {a7} {a8} {a9,a10,a11,a12,a13,a14,a15}

9

{a1} {a2} {a3} {a4} {a5} {a6} {a7} {a8} {a9} {a10,a11,a12,a13,a14,a15}

10

{a1} {a2} {a3} {a4} {a5} {a6} {a7} {a8} {a9} {a10} {a11,a12,a13,a14,a15}

11

{a1} {a2} {a3} {a4} {a5} {a6} {a7} {a8} {a9} {a10} {a11} {a12,a13,a14,a15}

12

{a1}{a2}{a3}{a4}{a5}{a6}{a7}{a8}{a9}{a10}{a11}{a12,a14}{a13,a14,a15}

13

{a1}{a2}{a3}{a4}{a5}{a6}{a7}{a8}{a9}{a10}{a11}{a12,a14}{a13}{a14,a15}

14

{a1}{a2}{a3}{a4}{a5}{a6}{a7}{a8}{a9}{a10}{a11}{a12}{a12,a14}{a13}{a14}{a15}
Скачать файл