Piotr Kawalec

Wykład VIII - 1

Wykład VIII

Przykłady kodowania

automatów

asynchronicznych cz. II

Technika cyfrowa

Piotr Kawalec

Wykład VIII - 2

Technika cyfrowa

Przykład 3 (cd) - tablica Mealy’ego



Zakodować uzyskaną minimalną tablicę przejść-

wyjść

x

1

x

2

s

00 01 11 10 00 01 11 10

1

2

–

2

1

– 0 – – 1 – 10

2

2

–

2

3

00 – – 11 01

3

4

–

4

3

0 – – – – 1 01

4

4

–

4

1

00 – – 11 10

s’ y

1

y

2

Rodzina końcowa

T

k1

= T

k opt

={



12

,



14

}



(00)

= 

(11)

=

{12, 34}

= 

12



(10)

={14, 23} =



14

(

y

1

) = 

14

; (

y

2

) = 

14

Piotr Kawalec

Wykład VIII - 3

Technika cyfrowa

Przykład 3 (cd) - tablica Moore’a



Zakodować tablicę przejść-wyjść

x

1

x

2

s

00 01 11 10 y

1

y

2

1

2

–

5

1

10

2

2

–

–

3

00

3

4

–

6

3

01

4

4

–

–

1

00

5

–

–

5

3

11

6

–

–

6

1

11



(00)={12, 34, (56)}



(11)={15, 36, (24)}



(10)={146, 235} =



146

podziały większe od
wewnętrznych dla:





(00):



12

;



125

; 

126

; 

34



(11):



15

; 

125

; 

145

;



36

(

y

1

) = 

156

; (

y

2

) =



124

Rodziny końcowe

T

k1

={



12

,



146

,



36

}

;

T

k2

={



125

,



146

,



145

}

T

k3

={



146

,



126

,



15

}

;

T

k3

={



146

,



126

,



36

}

Piotr Kawalec

Wykład VIII - 4

Technika cyfrowa

Przykład 4



Zakodować tablicę przejść-wyjść

x

s

x

1

x

2

x

3

x

4

y

1

y

2

1

1

2

–

5

00

2

1

2

3

–

10

3

–

4

3

6

1–

4

1

4

4

5

01

5

1

–

3

5

11

6

1

6

4

6

0–



(x

2

)={12, 34, 6, (5)}



(x

3

)={235, 46, (1)}



(x

4

)={145, 36, (2)}

podziały większe od
wewnętrznych dla:





(x

2

):



56

;



126

; 

34

; 

125

;



12



(x

3

):



46

; 

146



(x

4

):



36

; 

145

(

y

1

) = 

146

; (

y

2

) 



126

Rodziny końcowe

T

k1

={



126

,



46

,



145

}

T

k2

={



126

,



146

,



36

} =

T

k opt

Piotr Kawalec

Wykład VIII - 5

Technika cyfrowa

Etapy wyznaczania rodzin końcowych

Wyznaczenie

podziałów

wewnętrznych

Podziały

wew. są

prawidłow

e ?

Wyznaczenie

rodzin

końcowych

Wyznaczenie

rodziny końcowej

optymalnej

TAK

Wyznaczenie

podziałów

prawidłowych

większych od

wewnętrznych

Warunki

separacji

są

spełnione?

Wyznaczenie

rodzin

końcowych

NIE

TAK

NIE

Wyznaczenie

rodziny końcowej

optymalnej

Warunki

elementar

ne

Zwiększeni

e liczby

podziałów