<technical report>
A Proof of the Correctness of Uratani's String Searching AIgorithm

Creator
Language
Publisher
Date
Source Title
Vol
Publication Type
Access Rights
Related DOI
Related URI
Relation
Abstract The string searching problem is to find all occurrences of tile pattern(s) in a test string. The Aho-Corasick string searching algorithm finds simultaneously all occurrences of the multiple patterns d...uring one pass through the test. on the other hand, the Boyer-Moore algorithm is understood to be the fastest algorithm for a single pattern. By combining the ideas of these two algprithms, Uratani presented an efficierit string searching algpritnm for multiple patterns. The algorithm runs in sublinear time on the average as the BM algorithm achieves, and its preprocessing time is linear proportional to the sum of the length has the patterns like the AC algorithm. However, the correctness of the algorithm has not been discussed. In this paper. we prove the correctness of the algorithm.show more

Hide fulltext details.

pdf rifis-tr-7 pdf 1.56 MB 271  

Details

Record ID
Peer-Reviewed
Subject Terms
Notes
Type
Created Date 2009.04.22
Modified Date 2017.01.20

People who viewed this item also viewed