| Order-n correction for regular languages |
| Full text |
Pdf
(389 KB)
|
Source
|
Communications of the ACM
archive
Volume 17 , Issue 5 (May 1974)
table of contents
Pages: 265 - 268
Year of Publication: 1974
ISSN:0001-0782
|
|
Author
|
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 11, Downloads (12 Months): 30, Citation Count: 11
|
|
|
ABSTRACT
A method is presented for calculating a string B, belonging to a given regular language L, which is “nearest” (in number of edit operations) to a given input string &agr;. B is viewed as a reasonable “correction” for the possibly erroneous string &agr;, where &agr; was originally intended to be a string of L. The calculation of B by the method presented requires time proportional to |&agr;|, the number of characters in &agr;. The method should find applications in information retrieval, artificial intelligence, and spelling correction systems.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
 |
1
|
|
| |
2
|
Morgan, H.L., and Wagner, R.A. PL/C--A high performance compiler for PL/I. Proc. 1971 SJCC, Vol. 38, AFIPS Press, Montvale, N.J., pp. 503-510.
|
 |
3
|
|
| |
4
|
Wagner, R.A. An n 3 minimum edit distance correction algorithm for context free languages. Tech. Rep., Systems and Information Science Dep., Vanderbilt U., Nashville, Tenn., 1972.
|
| |
5
|
Nemhauser, G,L. introduction to Dynamic Programming. Wiley, New York, 1966.
|
| |
6
|
Wagner, R.A. The string-to-string correction problem. Tech. Rep., Systems and Information Sciences Dep., Vanderbilt U., Nashville, Tenn., 1971.
|
 |
7
|
|
| |
8
|
|
| |
9
|
|
 |
10
|
|
| |
11
|
|
| |
12
|
|
INDEX TERMS
Primary Classification:
D.
Software
D.2
SOFTWARE ENGINEERING
Additional Classification:
D.
Software
D.2
SOFTWARE ENGINEERING
D.3
PROGRAMMING LANGUAGES
D.3.3
Language Constructs and Features
Subjects:
Data types and structures
D.3.4
Processors
Subjects:
Compilers
F.
Theory of Computation
F.1
COMPUTATION BY ABSTRACT DEVICES
F.1.1
Models of Computation
Subjects:
Automata (e.g., finite, push-down, resource-bounded)
General Terms:
Languages
Keywords:
compiler error recovery,
correction,
corrector,
error correction,
errors,
finite state automata,
nondeterministic finite-state automata,
regular events,
regular languages,
spelling correction,
string best match problem
|