Time-space-optimal string matching (Preliminary Report)

  • Authors:
  • Zvi Galil;Joel Seiferas

  • Affiliations:
  • -;-

  • Venue:
  • STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
  • Year:
  • 1981

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we describe a new linear-time string-matching algorithm requiring neither dynamic storage allocation nor other high-level capabilities. The algorithm can be implemented to run in linear time even on a six-head two-way finite automaton. Moreover, the automaton requires only “{&equil; @@@@}- branching” [1]. (Decisions depend on which of the six scanned pattern or text symbols and positions are the same, but not on the particular symbols or how many symbols there are. Hence the same algorithm works even for an infinite alphabet.) A “real-time” implementation is possible on such a multihead finite automaton with a few more heads.