Abstract: finite-state keyword matching and single-pass search. Full PDF retrieval failed; state invariant and babc example are independently derived.