Is there a reason why nobody suggested the Rabin-Karp algorithm (modular hashing)? It is also no-backup and conveniently allows searching for multiple strings in the stream.