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