Теория автоматов. - 14 стр.

UptoLike

ВУЗ: 

ПНИПУ | Пермь

Рубрика: 

Рис. 14
1.2.. Наиболее ходовые примеры – это одноразрядные двоичные элемен-
ты памяти (хранящие один бит информации): триггер, ферритовое кольцо, реле
и т.п.
2.2.. Фактически, это автоматы без памяти, может служить любая комби-
национная схема.
2.3.. Автомат без состояния не имеет смысла.
4.1.. Результирующий автомат Мура будет иметь вид табл. 16.
Таблица 16
5.1.. Результирующий автомат Мили будет иметь вид табл. 17, 18.
Таблица 17 Таблица 18
7.1. Определим 1-эквивалентные классы, используя таблицу выходов, и с
помощью таблицы переходов определим 2-эквивалентные классы (табл.19). Оп-
ределение 3-эквивалентных классов показано в табл.20.
Таблица 19 Таблица 20
▬ y
2
y
4
y
1
y
5
y
3
y
6
b
0
b
01
b
02
b
11
b
12
b
21
b
22
x
1
b
01
b
11
b
21
b
01
b
11
b
21
b
11
x
2
b
02
b
12
b
22
b
02
b
12
b
32
b
22
q
1
q
2
q
3
x
1
q
2
q
3
q
3
x
2
q
1
q
2
q
3
q
1
q
2
q
3
x
1
y
3
y
2
y
2
x
2
y
1
y
3
y
2
0 1 2 3 4 5 6
х
1
1
b
3
a
4
a
6
a
6
a
6
a
6
a
х
2
2
b
4
a
5
a
4
a
5
a
3
a
0
a
0 1 2 3 4 5 6
х
1
1
b
3
c
4
c
6
c
6
c
6
c
6
c
х
2
2
b
4
c
5
c
4
c
5
c
3
c
0
c
a b c a b c
a b c a b c d 
                                                                    Рис. 14

       1.2.. Наиболее ходовые примеры – это одноразрядные двоичные элемен-
ты памяти (хранящие один бит информации): триггер, ферритовое кольцо, реле
и т.п.

      2.2.. Фактически, это автоматы без памяти, может служить любая комби-
национная схема.

      2.3.. Автомат без состояния не имеет смысла.

      4.1.. Результирующий автомат Мура будет иметь вид табл. 16.
                        ▬ y2 y4 y1 y5 y3 y6
                                            b0          b01 b02 b11 b12 b21 b22
                                   x1       b01 b11 b21 b01 b11 b21 b11
                                   x2       b02 b12 b22 b02 b12 b32 b22

                                                            Таблица 16

      5.1.. Результирующий автомат Мили будет иметь вид табл. 17, 18.

                       q1          q2       q3                                                  q1          q2           q3
           x1          q2          q3       q3                                         x1       y3          y2           y2
           x2          q1          q2       q3                                         x2       y1          y3           y2

                   Таблица 17                                                                   Таблица 18

      7.1. Определим 1-эквивалентные классы, используя таблицу выходов, и с
помощью таблицы переходов определим 2-эквивалентные классы (табл.19). Оп-
ределение 3-эквивалентных классов показано в табл.20.

                       Таблица 19                                                           Таблица 20
               a        b         c                                                a         b         c

           0       1           2        3    4          5   6                  0        1           2   3        4           5    6
           1       3        4       6       6       6       6                  1       3        4       6        6       6        6
      х1                                                                  х1
               b       a        a       a       a       a       a                  b        c       c       c        c        c       c
           2       4        5       4       5       3       0                  2       4        5       4        5       3        0
      х2                                                                  х2
               b       a        a       a       a       a       a                  b        c       c       c        c        c       c

               a           b                        c                              a            b                        c        d

Страницы