2
$\begingroup$

Can someone help me understand why $ L( P ) = a^n b^n c^n $ in the following pi - calculus process

$$ P = ( \nu k_1, k_2, k_3, u_{b} , u_c)( \overline{k_1} \mid \overline{k_2} \mid Q_a \mid Q_b \mid Q_c) $$

$$Q_a = {!}k_1.a.( \overline{k_1} \mid \overline{k_3} \mid \overline{u_b} \mid \overline{u_c})$$

$$Q_{b} = k_1.!k_3.k_2.u_b.b.\overline{k_2}$$

$$Q_{c} = k_2.(! u_c.c \mid u_b.\mathrm{DIV} )$$

where $DIV = !τ$

  • 0
    Can somebody create a tag for process-algebra as this ques lies there ....2011-11-03
  • 1
    What is your definition of $L(P)$? It seems to me that the process can emit $ac$ and then diverge. Shouldn't that make $ac\in L(P)$? But $ac\not\in a^nb^nc^n$.2011-11-03
  • 0
    $L(P)$ has been defined as the language that is weakly terminating that is all sequences that can be generated without the divergence...2011-11-04

1 Answers 1