На головну

виходів

  1.  Метод зменшення кількості входів і виходів бізнес-процесу
 Т. В. q0 q1 q2 q3
j
1

Н Н Б Н
Н Б В Н
Б В В Б

приклад 2 (Автомат Мура).

Побудувати автомат, на вхід якого можуть надходити монети 1, 2, 3 коп. Автомат видає сигнал "чет", Якщо надійшла сума в даний момент парна і"непарне", Якщо навпаки.


 1,3

 пар непара


Це автомат Мура. Тому вихідні сигнали приписані не стрілку, а до станів, якими вони однозначно визначаються. Табличне представлення зводиться до однієї таблиці - розширеної таблиці переходів. У неї додається верхній рядок, що дозволяє приписати вихідні сигнали станів.

 - Вихідні сігнали- стану

 Чет  непарне
  Ч Н
Н Ч
Ч Н
Н Ч

 




 Основні равносильности для предикатів |  отримання диз'юнктів |  Аксіоматична теорія обчислення висловлювань |  Несуперечливість і повнота аксіоматичної теорії числення висловів |  Аксіоматичні теорії першого порядку |  система Генцен |  система Аристотеля |  Категоричні висловлювання. |  Модальні логіки. |  теорія Автоматів |

© um.co.ua - учбові матеріали та реферати