FSM Composition

• I = I1 È I2

• O = O1 È O2

• S = S1 ´ S2

• Assume that o1 ÎO1, i3 ÎI2, o1 = i3 (communication)

• d and l are such that, e.g., for each pair:

  • d1({i1}, s1) = t1, l1({i1}, s1) = {o1 }
  • d2({i2, i3}, s2) = t2, l2({i2 , i3}, s2) = {o2 }
    we have:
  • d({i1, i2, i3}, (s1, s2)) = (t1, t2)
  • l({i1, i2, i3}, (s1, s2)) = {o1, o2}
    i.e. i3 is in input pattern iff o2 is in output pattern

Previous slide

Next slide

Back to first slide

View graphic version