Composition
compound
\ffrac{
<< S_1, %f >> \apijl{ %l_1 } << %e, %f' >>
\ifsli{\hspace{-0.5cm}}{\hspace{1cm}}
<< S_2, %f' >> \apijl{ %l_2 } << %e, %f'' >>
}{
<< S_1;S_2, %f >> \apijl{ %l_1 \. %l_2 } << %e, %f'' >>
}
Conditional
<< \! if (b) S, %f>> -> << %e, %f>>
if
%f(b) == false
\ffrac{
<< S, %f >> \apijl{%l} << %e, %f' >>
}{
<< \! if (b) S, %f >> \apijl{%l} << %e, %f' >>
} if \ifsli{
%f(b)
}{
%f(b) == true
}
Iteration
<< while \; (b) S, %f>> -> << %e, %f>>
if
%f(b) == false
\ffrac{
<< S, %f >> \apijl{%l} << %e, %f' >>
}{
<< while (b) S, %f >> \apijl{%l} << while (b) S, %f' >>
} \ifsli{}{ if
%f(b) == true
}
slide
:
Transition system -- compound statement
