úλŒ Safe-Infered!The solid data type of KMP table The F function eats a pattern (list of some Eq) and generates a KMP table. BThe time and space complexities are both O(length of the pattern) The L function takes the KMP table and a list to be searched (might be infinite) ` and then generates the search results as a list of every matched begining (might be infinite). NThe time complexity is O(length of the pattern + length of the searched list) KMP-0.1Data.Algorithms.KMPTablebuildmatch