automat Moore'a - Funkcja przejść

Teoria układów logicznych Automat Moore'a

Automatem Moore'a nazywamy uporządkowaną piątkę ( Q, X, Y, ,  ) gdzie Q jest skończonym zbiorem niepustym, nazwanym zbiorem stanów automatu, X jest skończonym zbiorem niepustym, nazwanym alfabetem wejściowym, Y jest skończonym zbiorem niepustym, nazwanym alfabetem wyjściowym,

(…)

Dokonać konwersji grafów automatu Mealy'ego z poprzedniego ćwiczenia na graf

• 
  równoważnego automatu Moore'a
  
• 
  Równoważność stanów automatu
  

Rozszerzoną funkcję przejść nazywamy funkcję