Transition tables for rules


[Note: other as a column heading means "underlying other", includes "n"]

    Machine I
    State p m N other Final?
    A p   A m   A m   C
    n   B    		 other   A Yes
    B --- m   A m   C
    n   B    		 other   A Yes
    C p   A --- --- --- No

    Machine II
    State p m N other Final?
    0 p   0 m   1 --- other   0 Yes
    1 m   0 m   1 --- other   0 Yes

Composition

    Machine I º II
    State p m N other Final?
    A0 p   A0 m   A1 m   C1
    n   B0    		 other   A0 Yes
    A1 m   A0 m   A1 m   C1
    n   B0    		 other   A0 Yes
    B0 --- m   A1 m   C1
    n   B0    		 other   A0 Yes
    B1 NA NA NA NA NA
    C0 NA NA NA NA NA
    C1 m   A0 --- --- --- No
    		Calculating composition states: State A0
    A0 = A º 0
    Underlying Machine Rewrite Next State
    p I p=>p A
      II p=>p 0
      IºII p=>p A0
    m I m=>m A
      II m=>m 1
      IºII m=>m A1
    N I N=>m C
      II m=>m 1
      IºII N=>m C1
    N I N=>n B
      II n=>n 0
      IºII N=>n B0
    other I other=>other A
      II other=>other 0
      IºII other=>other A0