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