- •Оглавление
- •Задание
- •Абстрактный синтез
- •Минимизация №1
- •Минимизация №2
- •Минимизация №3
- •Результат минимизации.
- •Минимальное кодирование.
- •Произвольное кодирование.
- •Определение функций переходов для асинхронного rs-триггера.
- •1. Функции перехода в линейном кодировании.
- •2. Функции перехода в минимальном кодировании.
- •3. Функции перехода в произвольном кодировании.
- •Определение функций переходов для t-триггера.
- •1. Функции перехода в линейном кодировании.
- •2. Функции перехода в минимальном кодировании.
- •3. Функции перехода в произвольном кодировании.
- •Определение функций переходов для d-триггера.
- •1. Функции перехода в линейном кодировании.
- •2. Функции перехода в минимальном кодировании.
- •3. Функции перехода в произвольном кодировании.
- •Троичное моделирование.
Минимизация №2
Α1(1, 2, 3), B1(4, 5), С1(6)
Y |
Переходы |
Выходы |
||||||
1 |
2 |
3 |
4 |
1 |
2 |
3 |
4 |
|
1 |
5 |
1 |
3 |
1 |
1 |
1 |
1 |
0 |
2 |
2 |
5 |
6 |
1 |
1 |
1 |
1 |
0 |
3 |
5 |
1 |
2 |
6 |
1 |
1 |
1 |
0 |
4 |
5 |
2 |
1 |
1 |
0 |
0 |
0 |
1 |
5 |
5 |
6 |
1 |
1 |
0 |
0 |
0 |
1 |
6 |
6 |
1 |
1 |
4 |
0 |
0 |
0 |
0 |
Y |
Переходы |
|||
1 |
2 |
3 |
4 |
|
1 |
B |
А |
А |
А |
2 |
A |
B |
С |
А |
3 |
В |
А |
A |
С |
4 |
B |
A |
А |
А |
5 |
B |
С |
А |
А |
6 |
С |
А |
A |
B |
Из этого следует, что А2(1, 4), В2(2), С2(3), D2(5), Е2(6) ;
Y |
Переходы |
|||
1 |
2 |
3 |
4 |
|
1 |
D |
А |
А |
А |
2 |
B |
D |
С |
D |
3 |
D |
А |
B |
A |
4 |
D |
B |
А |
А |
5 |
D |
E |
А |
А |
6 |
E |
А |
A |
A |
Из этого следует, что эквивалентных состояний нет
Минимизация №3
А1(1, 4), В1(2, 3), С1(5, 6)
Y |
Переходы |
Выходы |
||||||
1 |
2 |
3 |
4 |
1 |
2 |
3 |
4 |
|
1 |
5 |
1 |
3 |
1 |
1 |
0 |
1 |
1 |
2 |
2 |
5 |
6 |
6 |
1 |
1 |
1 |
0 |
3 |
2 |
5 |
2 |
6 |
1 |
1 |
1 |
0 |
4 |
5 |
2 |
3 |
1 |
1 |
0 |
1 |
1 |
5 |
5 |
6 |
1 |
1 |
0 |
0 |
0 |
0 |
6 |
6 |
6 |
1 |
4 |
0 |
0 |
0 |
0 |
Y |
Переходы |
|||
1 |
2 |
3 |
4 |
|
1 |
С |
А |
В |
А |
2 |
B |
С |
С |
С |
3 |
D |
С |
B |
С |
4 |
С |
B |
С |
А |
5 |
С |
С |
А |
А |
6 |
С |
С |
A |
A |
Из этого следует, что A2(1), B2(2), C2(3), D2(4), E2(5,6)
Y |
Переходы |
|||
1 |
2 |
3 |
4 |
|
1 |
E |
А |
C |
А |
2 |
B |
E |
E |
E |
3 |
B |
E |
B |
E |
4 |
E |
B |
С |
А |
5 |
E |
E |
А |
А |
6 |
E |
E |
A |
D |
Из этого следует, что эквивалентных состояний нет.