- •Контрольная работа
- •32. Доказать:
- •34. Являются ли множества, представленные диаграммами Хассе (рис.26):
- •4. Логика высказываний.
- •Построить таблицы истинности для формул:
- •Преобразовать автомат Мили в автомат Мура:
- •6. Преобразовать автомат Мили в автомат Мура, затем перейти от автомата Мура к автомату Мили и, используя минимизацию, получить исходный автомат Мили.
- •Минимизировать автомат Мура.
-
Минимизировать автомат Мура.
y1
y2
y2
y2
y1
y2
y2
1 2 3 4 5 6 7
x1 2 3 7 3 4 7 3
x2 4 7 7 3 6 7 3
1
2
2
3
4
7
1
2
2
3
4
7
y1
y2
y2
y2
y1
y2
y2
1 2 3 4 5 6 7
x1 2 3 7 3 4 7 3
x2 4 7 7 3 6 7 3
1
2
2
3
4
7
1
2
2
3
4
7
y1
y2
y2
y2
y1
y2
y2
1 2 3 4 5 6 7
x1 2 3 7 3 4 7 3
x2 4 7 7 3 6 7 3
1
2
2
3
4
7
1
2
2
3
4
7
y1
y2
y2
y2
y1
y2
y2
1 2 3 4 5 6 7
x1 2 3 7 3 4 7 3
x2 4 7 7 3 6 7 3
1
2
2
3
4
7
1
2
2
3
4
7
y1
y2
y2
y2
y1
y2
y2
1 2 3 4 5 6 7
x1 2 3 7 3 4 7 3
x2 4 7 7 3 6 7 3
1
2
2
3
4
7
1
2
2
3
4
7
y1
y2
y2
y2
y1
y2
y2
1 2 3 4 5 6 7
x1 2 3 7 3 4 7 3
x2 4 7 7 3 6 7 3
1
2
2
3
4
7
1
2
2
3
4
7
y1
y2
y2
y2
y1
y2
y2
1 2 3 4 5 6 7
x1 2 3 7 3 4 7 3
x2 4 7 7 3 6 7 3
1
2
2
3
4
7
1
2
2
3
4
7
y1
y2
y2
y2
y1
y2
y2
1 2 3 4 5 6 7
x1 2 3 7 3 4 7 3
x2 4 7 7 3 6 7 3
1
2
2
3
4
7
1
2
2
3
4
7
y1
y2
y2
y2
y1
y2
y2
1 2 3 4 5 6 7
x1 2 3 7 3 4 7 3
x2 4 7 7 3 6 7 3
1
2
2
3
4
7
1
2
2
3
4
7
y1
y2
y2
y2
y1
y2
y2
1 2 3 4 5 6 7
x1 2 3 7 3 4 7 3
x2 4 7 7 3 6 7 3
1
2
2
3
4
7
1
2
2
3
4
7
y1
y2
y2
y2
y1
y2
y2
1 2 3 4 5 6 7
x1 2 3 7 3 4 7 3
x2 4 7 7 3 6 7 3
1
2
2
3
4
7
1
2
2
3
4
7
y1
y2
y2
y2
y1
y2
y2
1 2 3 4 5 6 7
x1 2 3 7 3 4 7 3
x2 4 7 7 3 6 7 3
1
2
2
3
4
7
1
2
2
3
4
7
y1
y2
y2
y2
y1
y2
y2
1 2 3 4 5 6 7
x1 2 3 7 3 4 7 3
x2 4 7 7 3 6 7 3
1
2
2
3
4
7
1
2
2
3
4
7
|
|
y1 |
y2 |
y2 |
y2 |
y1 |
y2 |
y2 |
|
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
|
x1 |
2 |
3 |
7 |
3 |
4 |
7 |
3 |
|
x2 |
4 |
7 |
7 |
3 |
6 |
7 |
3 |