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

      1.2. Каждой комбинации значений х1 и х2 припишем букву (рис. 9).
Автомат Мили представлен на рис. 10.

              x1     x2
        A     0      0
        D     0      1
        C     1      0
        D     1      1

            Рис. 9                                         Рис. 10

       1.3. В данном автомате по два входных сигнала соответствуют подходу
к перекрёстку одной машины по вертикальной (сигнал В) и горизонтальной
(сигнал Г) дорогам. Поскольку учитывается только общее число машин на дан-
ной дороге независимо от того, с какой стороны они подходят, общий перечень
состояний, которые должен различать автомат, будет соответствовать рис. 2.

             1        2           3            4            5        6



                                      Рис. 2

Так, например, состояние 2 говорит о том, что светофор открыт для вертикаль-
ной дороги, а на горизонтальной ожидает одна машина. Жирные черточки, со-
ответствующие положения светофора, возьмем в качестве символов сигналов
( │ , ─ ). Автомат представлен табл.14.
                              ▬

                                      ▬

                                          ▬




                                               ▬       ▬        ▬
                              1       2   3        4   5        6
                          В   1       2   3        5   6        1
                          Г   2       3   4        4   5        6

                                      Таблица 14.

      1.4. Примем обозначения: б – буква, ц – цифра, - пробел, π – любой
другой входной символ, ~ - выходной сигнал «неопределённо». Автомат Мура
может иметь вид рис. 12 (длину идентификатора не ограничиваем).