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)]