Abstract
This paper describes a practical method to compute whether two strings are equivalent under certain equations. This method uses a procedure called Critical-Pair/Completion. that generates rewriting rules from equations. Unlike other Critical-Pair/Completion procedures, the procedure described here always stops for all equations because it treats strings of bounded length. This paper also explains the importance of the string equivalence problem if international data handling is required.- Anthology ID:
- 1994.vlc-1.10
- Volume:
- Second Workshop on Very Large Corpora
- Month:
- Year:
- 1994
- Address:
- Venue:
- VLC
- SIG:
- Publisher:
- Note:
- Pages:
- 121–128
- Language:
- URL:
- https://aclanthology.org/1994.vlc-1.10
- DOI:
- Cite (ACL):
- Kyoji Umemura. 1994. String Comparison based on Substring Equations. In Second Workshop on Very Large Corpora, pages 121–128.
- Cite (Informal):
- String Comparison based on Substring Equations (Umemura, VLC 1994)
- PDF:
- https://preview.aclanthology.org/retraction/1994.vlc-1.10.pdf