Applications: Search Engines, Bioinformatics, Text Editors - String Matching Problem Formalization | OneNoughtOne