Skip to main content

Table 2 Right regular composition grammar for producing all solutions provided by the automaton in Figure 3

From: An approach towards adaptive service composition in markets of composed services

N : { V , W , X , Y , Z }
  V=(q 0 , , q ) W=(q 1 , , q ) X=(q 2 , , q )
  Y=(q 3 , , q ) Z=(q 4 , , q )
Σ: {s i |1≤i≤4}
P: {r i |1≤i≤14}
  r 1=Vs 1 W r 2=Vs 3 X r 3=Vs 4 X
  r 4=Ws 2 Z r 5=Ws 3 Y r 6=Ws 4 Y
  r 7=Xs 3 X r 8=Xs 4 X r 9=Xs 1 Y
  r 10=Ys 3 Y r 11=Ys 4 Y r 12=Ys 2
  r 13=Zs 3 r 14=Zs 4
S: V