%location main_begin = { // SLL with 2 or more elements %n = {u0, u1} %p = { sm = {u1:1/2} n[out] = {u0->u1:1/2,u1->u1:1/2} Star[n,out] = {u0->u0,u1->u1:1/2,u0->u1} is[n,out] = {u0:0, u1:0} c[n,out] = {u0:0, u1:0} list = {u0} r[n,out,list] = {u0, u1} } }