Page 44 - 4128
P. 44

Задано автомат Мура:

                                                      w 1  w 2  w 3  w 4


                                                       a 1  a 2  a 3  a 4

                                                  z 1  a 2  a 3  a 4  a 4

                                                  z 2  a 4  a 1  a 1  a 1


                                   Подамо на вхід цього автомата ту ж послідовність, що і
                            для  автомата  Мілі:  =z 1  z 2  z 2  z 1  z 2  z 2.  Послідовність  зміни
                            станів і вихідних сигналів, що виробляються, представлена в
                            таблиці:

                                  Таблиця 2.10 - Реакція автомата Мура

                              Послідовність станів  a 1   a 2   a 1   a 4   a 4   a 1  a 4
                                 Вхідне слово
                                                    Z 1  Z 2  Z 2  Z 1  Z 2  Z 2  Z

                                                                     
                                 Вихідне слово
                                                    w 1  w 2  w 1  w 2  w 2  w 1  w 2

                                                                =  (a m, )

                                   Порівнюючи  реакції  автомата  Мілі  (табл.  2.8)  і
                            автомата Мура (табл. 2.10), відзначаємо, що ці реакції на одне
                            і  те  ж  слово    співпадають.  Отже  автомати  Мілі  і  Мура
                            реалізують одне  і те ж перетворення слів вхідного алфавіту.
                            Такі  автомати  називаються  еквівалентними.  Визначення
                            еквівалентності наступне:
                                   Два  автомати  з  однаковими  вхідними  і  вихідними
                            алфавітами  називаються  еквівалентними,  якщо  після
                                                           43
   39   40   41   42   43   44   45   46   47   48   49