This paper is under a licence that does not allow it to be reproduced, so what is here is its front matter and a short abstract. Read it at the publisher's page.
高效字符串匹配:文献检索的辅助工具
Alfred V. Aho and Margaret J. Corasick
Bell Laboratories
本文介绍了一种简单而高效的算法,用于在文本字符串中定位有限数量关键字的所有出现位置。该算法首先根据关键字构造有限状态模式匹配机,然后使用该模式匹配机单遍处理文本字符串。构造模式匹配机所需的时间与关键字长度之和成正比。模式匹配机处理文本字符串时所进行的状态转移次数与关键字的数量无关。该算法已用于提高图书馆文献检索程序的速度,性能提升了5至10倍。
关键词和短语:关键词和短语,字符串模式匹配,文献检索,信息检索,文本编辑,有限状态机,计算复杂度。
CR分类:3.74,3.71,5.22,5.25
References
- Aho, A.V., Hopcroft, J.E., and Ullman, J.D. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, Mass., 1974.
- Booth, T.L. Sequential Machines and Automata Theory. Wiley, New York, 1967.
- Brzozowski, J.A. Derivatives of regular expressions. J. ACM 11:4 (October 1964), 481-494.
- Bullen, R.H., Jr., and Millen, J.K. Microtext - the design of a microprogrammed finite state search machine for full-text retrieval. Proc. Fall Joint Computer Conference, 1972, pp. 479-488.
- Fischer, M.J., and Paterson, M.S. String matching and other products. Technical Report 41, Project MAC, M.I.T., 1974.
- Gimpel, J.A. A theory of discrete patterns and their implementation in SNOBOL4. Comm. ACM 16:2 (February 1973), 91-100.
- Harrison, M.C. Implementation of the substring test by hashing. Comm. ACM 14:12 (December 1971), 777-779.
- Johnson, W.L., Porter, J.H., Ackley, S.I., and Ross, D.T. Automatic generation of efficient lexical processors using finite state techniques. Comm. ACM 11:12 (December 1968), 805-813.
- Kernighan, B.W., and Cherry, L.L. A system for typesetting mathematics. Comm. ACM 18:3 (March 1975), 151-156.
- Kleene, S.C. Representation of events in nerve nets. In Automata Studies, C.E. Shannon and J. McCarthy (eds.), Princeton University Press, 1956, pp. 3-40.
- Knuth, D.E. Fundamental Algorithms, second edition, The Art of Computer Programming 1, Addison-Wesley, Reading, Mass., 1973.
- Knuth, D.E. Sorting and Searching, The Art of Computer Programming 3, Addison-Wesley, Reading, Mass., 1973.
- Knuth, D.E., Morris, J.H., Jr., and Pratt, V.R. Fast pattern matching in strings. TR CS-74-440, Stanford University, Stanford, California, 1974.
- Kohavi, Z. Switching and Finite Automata Theory. McGraw-Hill, New York, 1970.
- McNaughton, R., and Yamada, H. Regular expressions and state graphs for automata. IRE Trans. Electronic Computers 9:1 (1960), 39-47.
- Rabin, M.O., and Scott, D. Finite automata and their decision problems. IBM J. Research and Development 3, (1959), 114-125. Read it here
- Thompson, K. Regular search expression algorithm. Comm. ACM 11:6 (June 1968), 419-422.
Read off the page by a vision model reading the page images using olmOCR-2-7B-1025-FP8. Translated into 中文 by gpt-5, against glossary version 6. Translated from the English.