Tokenization: The Building Blocks of Text Processing in Logic | SWE180 Engineering Articles | SWE180