WORST_CASE(?,O(n^2)) Solution: --------- "-" :: ["A"(3, 3) x "A"(0, 0)] -(1)-> "A"(3, 3) "0" :: [] -(0)-> "A"(0, 0) "f" :: ["A"(6, 3) x "A"(6, 3)] -(0)-> "A"(0, 0) "p" :: ["A"(3, 3)] -(0)-> "A"(6, 3) "s" :: ["A"(6, 3)] -(3)-> "A"(3, 3) "s" :: ["A"(0, 0)] -(0)-> "A"(0, 0) "s" :: ["A"(9, 3)] -(6)-> "A"(6, 3) Cost Free Signatures: --------------------- Base Constructors: ------------------