Skip to main content

Table 3 Example applications of product algebras with grammar wuchty98 on input w = cgggauaccacu.

From: Versatile and declarative dynamic programming using pair algebras

Application

Result

wuchty98(bpmax***count,w)

[(2,4)]

wuchty98(bpmax***pretty,w)

[(2,".((.......))"), (2,"..((......))"), (2,".((....))..."), (2,"..((...))...")]

wuchty98(bpmax***enum,w)

[(2, Str (Ul (Bl (0,1) (Sr 'g' (Hl 'g' (3,10) 'c') 'u')))), (2, Str (Ul (Bl (0,2) (Sr 'g' (Hl 'g' (4,10) 'c') 'u')))), (2, Str (Cons (Bl (0,1) (Sr 'g' (Hl 'g' (3,7) 'c') 'c')) (Ul (Ss (9,12))))), (2, Str (Cons (Bl (0,2) (Sr 'g' (Hl 'g' (4,7) 'c') 'c')) (Ul (Ss (9,12)))))]

wuchty98(bpmax***(enum***pretty,w)

[(2,(Str (Ul (Bl (0,1) (Sr 'g' (Hl 'g' (3,10) 'c') 'u'))), ".((.......))")), (2, (Str (Ul (Bl (0,2) (Sr 'g' (Hl 'g' (4,10) 'c') 'u'))), "..((......))")), (2,(Str (Cons (Bl (0,1) (Sr 'g' (Hl 'g' (3,7) 'c') 'c')) (Ul (Ss (9,12)))), ".((....))...")), (2, (Str (Cons (Bl (0,2) (Sr 'g' (Hl 'g' (4,7) 'c') 'c')) (Ul (Ss (9,12)))), "..((...))..."))]

wuchty98(shape***count, w)

[("_ [_]", 2), ("_ [_]_", 2), ("_",1)]

wuchty98(bpmax(5)***shape, w)

[(2,"_ [_]"), (2,"_ [_]_"), (0,"_")]

wuchty98(bpmax(5)***(shape***count), w)

[(2, ("_[_]", 2)), (2, ("_[_]_", 2)), (0, ("_",1))]

wuchty98(shape***bpmax, w)

[("_[_]", 2), ("_[_]_", 2), ("_",0)]

wuchty98(bpmax***pretty', w)

[(2,".((....))...")]

wuchty98(pretty***count, w)

[(".((.......))",1), ("..((......))",1), (".((....))...",1), ("..((....))...",1), ("............",1)]