Курсовая работа: Абстрактный синтез конечного автомата

d₂ 1

d₂ 0

4 d₃ 0011 d₅ 0101 1 d₃ 1 d₃ 1 d₃ 1 5 d₄ 0100 d₆ 0110 1 d₄ 1 d₄ 1 6 d₅ 0101 d₁₁ 1011 0Ú1 d₅ 0 d₅ 1

d₅ 0

Ú

d₅ 1

d₅ 0

Ú

d₅ 1

d₅ 0

Ú

d₅ 1

7 d₆ 0110 d₁₁ 1011 0 d₆ 0 d₆ 0 d₆ 0 d₆ 0 8 d₇ 0111 d₉ 1001 1 d₇ 1 d₇ 1 d₇ 1 d₇ 1 9 d₈ 1000

d₁₀

d₅

1010

0101

0

1

d₈ 0

d₈ 1

d₈ 1

d₈ 1

d₈ 0

d₈ 1

10 d₉ 1001 d₁₁ 1011 0 d₉ 0 d₉ 0 11 d₁₀ 1010 d₁₁ 1011 1 d₁₀ 1 d₁₀ 1 12 d₁₁ 1011 d₀ 0000 - - - - - - -

Из таблицы следует, что сигналы возбуждения T-триггеров автомата Мили описываются следующими выражениями:

T₃ = d₂ 1 Úd₅ 0 Úd₅ 1 Úd₆ 0 Úd₇ 1 Úd₈ 1= d₂ 1 Ú d₅ Úd₆ 0 Úd₇ 1 Úd₈ 1

T₂ = d₁ 1 Úd₂ 0 Úd₃ 1 Úd₅ 0 Úd₅ 1 Úd₆ 0 Úd₇ 1 Úd₈ 1= d₁ 1 Úd₂ 0 Úd₃ 1 Úd₅ Úd₆ 0 Úd₇ 1 Úd₈ 1

T₁ = d₀ 1 Úd₁ 0 Úd₂ 1 Úd₃ 1 Úd₄ 1 Úd₅ 0 Úd₅ 1 Úd₇ 1 Úd₈ 0 Úd₉ 0= d₀ 1 Úd₁ 0 Úd₂ 1 Úd₃ 1 Úd₄ 1 Úd₅ Úd₇ 1 Úd₈ 0 Úd₉ 0

T₀ = d₀ 0 Úd₂ 0 Úd₆ 0 Úd₈ 1 Úd₁₀ 1

Функциональная схема автомата Мили на T-триггерах, построенная по выражениям, описывающим выходные сигналы, приведена в Приложении 4.