Abstract
The following classes of rational equivalence relations are shown to have regular cross-sections: deterministic rational equivalence relations, rational equivalence relations over a one letter alphabet, and rational equivalence relations with bounded separability. Although the general case remains open, it is shown to be reducible to that of locally-finite rational equivalence relations over a two letter alphabet. Two particular cross-sections are shown not to be regular: the set of minimum length words and the set of lexicographically minimal words.
This work was supported by the Natural Sciences and Engineering Research Council of Canada, Grant No. A0237
Preview
Unable to display preview. Download preview PDF.
10. References
J. Berstel, Transductions and context-free languages, Teubner, Stuttgart, Germany (1979).
M. Blattner and T. Head, Single valued a-transducers., J.C.S.S. 15 p. 310–327 (1977).
L. Davidson, Retrieval of misspelled names in an airline passenger record system, Commun. ACM 5(3) p. 169–171 (1962).
S. Eilenberg, Automata, languages, and machines, vol. A, Acad. Press, New York (1974).
C. C. Elgot and J. E. Mezei, On relations defined by generalized finite automata, IBM J. of Res. 9 p. 47–65 (1965).
I. P. Fellegi and A. B. Sunter, A theory for record linkage, J.A.S.A. 64 p. 1183–1210 (1969).
P. C. Fischer and A. L. Rosenberg, Multitape one-way nonwriting automata, J.C.S.S. 2 p. 88–101 (1968).
S. Ginsburg, The mathematical theory of context-free languages., McGraw-Hill, New York (1966).
J. H. Johnson, Formal models for string similarity., PhD. thesis., University of Waterloo (1983). Available as University of Waterloo Research Report CS-83-32.
D. E. Knuth, Sorting and searching, Addison-Wesley, Reading, Mass (1973).
G. B. Moore, J. L. Kuhns, J. L. Trefftzs, and C. A. Montgomery, Accessing individual records from personal data files using non-unique identifiers, NBS Special Publication 500-2, U.S. Department of Commerce-National Bureau of Standards (1977).
H. B. Newcombe and J. M. Kennedy, Record linkage: Making maximum use of the discriminating power of identifying information, Commun. ACM 5(11) p. 563–566 (1962).
M. Nivat, Transductions des langages de Chomsky, Ann. de l'Inst. Fourier 18 p. 339–456. (1968).
A. Salomaa, Jewels of formal language theory., Computer Science Press, Rockville, Maryland (1981).
M. P. Schützenberger, A remark on finite transducers., Info. Contr. 4 p. 185–196 (1961).
M. P. Schützenberger, Sur les relations rationelles., Automata theory and formal languages: 2nd GI Conference 33 p. 209–213 (1975).
G. Wiederhold, Database design., McGraw-Hill, New York (1977).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Johnson, J.H. (1985). Do rational equivalence relations have regular cross-sections?. In: Brauer, W. (eds) Automata, Languages and Programming. ICALP 1985. Lecture Notes in Computer Science, vol 194. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015755
Download citation
DOI: https://doi.org/10.1007/BFb0015755
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15650-5
Online ISBN: 978-3-540-39557-7
eBook Packages: Springer Book Archive