Abstract
We survey results and problems concerning structural properties of the hierarchy of classes of codes. In particular, we show that abstract dependence systems can be used to gain new insights into hierarchy constructions and decidability proofs. From the same perspective, we also review some work on maximal codes.
This research was supported by the Natural Science and Engineering Research Council of Canada, Grant OGP0000243.
Preview
Unable to display preview. Download preview PDF.
References
J. Berstel, D. Perrin: Theory of Codes. Academic Press, Orlando, 1985.
V. Bruyère: Maximal Codes with Bounded Deciphering Delay. Theoretical Computer Science 84 (1991), 53–76.
V. Bruyère: Maximal Prefix Products. Semigroup Forum 36 (1987), 147–157.
P. M. Cohn: Universal Algebra. Harper and Row, New York, 1965. Revised edition, D. Reidel Publishing Co., Dordrecht, 1981.
L. J. Cummings: Combinatorics on Words, Progress and Perspectives. Academic Press, Toronto, 1983.
P. H. Day, H. J. Shyr: Languages defined by Some Partial Orders. Soochow J. Math. 9 (1983), 53–62.
C. De Felice, A. Restivo: Some Results on Finite Maximal Codes. RAIRO Inform. Théor. Applicat. 19 (1985), 383–403.
C. De Felice: Construction of a Family of Finite Maximal Codes. Theoretical Computer Science 63 (1989), 157–184.
A. Ehrenfeucht, G. Rozenberg: Each Regular Code is Included in a Maximal Regular Code. RAIRO Inform. Théor. Appiicat. 20 (1985), 89–96.
J. Engelfriet: Iterated Stack Automata and Complexity Classes. Inform. and Computation 95 (1991), 21–75.
J. Engelfriet, H. Vogler: Look-ahead on Pushdowns. Inform. and Computation 73 (1987), 245–279.
J. Engelfriet, H. Vogler: Pushdown Machines for the Macro Tree Transducer. Theoret. Comput. Sci. 42 (1986), 251–368.
J. Engelfriet, H. Vogler: High Level Tree Transducers and Iterated Pushdown Tree Transducers. Acta Inform. 26 (1988), 131–192.
F. Gécseg, H. Jürgensen: Algebras with Dimension. Algebra Universalis, to appear.
F. Gécseg, H. Jürgensen: Dependence in Algebras. Report 239, Dep. Comp. Sci., The University of Western Ontario, 1989.
G. Grätzer: Universal Algebra. D. van Nostrand Co., Princeton, 1968.
L. H. Haines: On Free Monoids Partially Ordered by Embedding. J. Combinatorial Theory 6 (1969), 94–98.
T. Head, A. Weber: Deciding Code Related Properties by Means of Finite Transducers. In: Sequences II, Methods in Communication, Security, and Computer Science, edited by R. Capocelli, A. de Santis, U. Vaccaro. Springer-Verlag, Berlin, 1993, 260–272.
G. Higman: Ordering by Divisibility in Abstract Algebras. Proc. London Math. Soc. 3 (1952), 326–336.
M. Ito, H. Jürgensen, H. J. Shyr, G. Thierrin: Anti-Commutative Languages and n-Codes. Discrete Applied Math. 24 (1989), 187–196.
M. Ito, H. Jürgensen, H. J. Shyr, G. Thierrin: Outfix and Infix Codes and Related Classes of Codes. J. Comput. System Sci. 43 (1991), 484–508.
M. Ito, H. Jürgensen, H. J. Shyr, G. Thierrin: n-Prefix-Suffix Languages. Internat. J. Comp. Math. 30 (1989), 37–56.
M. Ito, H. Jürgensen, H. J. Shyr, G. Thierrin: Languages Whose n-Element Subsets Are Codes. Theoretical Computer Science 96 (1992), 325–344.
M. Ito, H. Jürgensen: Shuffle Relations. Manuscript, in Preparation.
M. P. Jullien: Sur un théorème d'extension dans la théorie des mots. C. R. Acad. Sci. Paris A266 (1968), 651–654.
H. Jürgensen, H. J. Shyr, G. Thierrin: Codes and Compatible Partial Orders. In: Algebra and Order, Proc. 1st International Sympos. on Ordered Algebraic Structures, Luminy-Marseilles, 1984, edited by S. Wolfenstein. Heldermann-Verlag, Berlin, 1986, 323–333.
H. Jürgensen, S. S. Yu: Solid Codes. EIK 26 (1990), 563–574.
H. Jürgensen, G. Thierrin: Infix Codes. Topics in the Theoretical Bases and Applications of Computer Science, Proc. 4th Hungarian Comp. Sci. Conf., Györ, 1985, edited by M. Arató, I. Kátai, L. Varga. Akadémiai Kiadó, Budapest, 1986, 25–29.
H. Jürgensen, S. S. Yu: Dependence Systems and Hierarchies of Families of Languages. Manuscript, in Preparation
H. Jürgensen: Syntactic Monoids of Codes. Report 327, Dep. Comp. Sci., The University of Western Ontario, 1992.
H. Jürgensen, K. Salomaa, S. Yu: Transducers and the Decidability of Independence in Free Monoids. Report 329, Dep. Comp. Sci., The University of Western Ontario, 1992.
H. Jürgensen, S. S. Yu: Relations on Free Monoids, Their Independent Sets, and Codes. Internat. J. Computer Math. 40 (1991), 17–46.
H. Jürgensen, M. Katsura, S. Konstantinidis: Maximal Solid Codes. Manuscript, in Preparation, 1993.
H. Jürgensen, K. Salomaa, S. Yu: Decidability of the Intercode Property. Report 349, Dep. Comp. Sci., The University of Western Ontario, 1993.
J. Karhumäki: On Three-Element Codes. In: Proceedings ICALP 1984, edited by J. Paredaens. Lecture Notes in Computer Science 172, Springer-Verlag, Berlin, 1984, 292–302.
Dongyang Long: n-infix-outfix codes. In: Abstracts, Second International Colloquium on Words, Languages, and Combinatorics, Kyoto, 1992, 50–51.
Dongyang Long: k-Outfix Codes. Chinese Annals of Math. 10A (1989), 94–99 (in Chinese).
Dongyang Long: k-Prefix Codes and k-Infix Codes. Acta Math. Sinica 33 (1990), 414–421 (in Chinese).
M. Lothaire: Combinatorics on Words. Addison-Wesley Publishing Company, London, 1983.
M. Petrich, G. Thierrin: The Syntactic Monoid of an Infix Code. Proc. Amer. Math. Soc. 109 (1990), 865–873.
A. Restivo: On Codes Having no Finite Completions. Discrete Math. 17 (1977), 309–316.
A. Restivo, S. Salemi, T. Sportelli: Completing Codes. RAIRO Inform. Théor. Applicat. 23 (1989), 135–147.
M. Satyanarayana, S. Mohanty: Uniformly Synchronous Limited Codes. Semigroup Forum 46 (1993), 21–26.
M. Satyanarayana: Uniformly Synchronous Codes. Semigroup Forum 46 (1993), 246–252.
H. J. Shyr: Free Monoids and Languages. Second Edition, Hon Min Book Company, Taichung, Taiwan, 1991.
H. J. Shyr, G. Thierrin: Codes and Binary Relations. Séminaire d'algèbre Paul Dubreil, Paris 1975–1976, (29ème Année). Edited by M. P. Malliavin. Lecture Notes in Mathematics 586, Springer-Verlag, Berlin, 1977, 180–188.
H. J. Shyr, G. Thierrin: Hypercodes. Information and Control 24 (1974), 45–54.
H. J. Shyr, S. S. Yu: Intercodes and Some Related Properties. Soochow J. of Math. 16 (1990), 95–107.
L. Staiger: On Infinitary Finite Length Codes. RAIRO Inform. Theor. Applicat. 20 (1986), 483–494.
G. Thierrin: The Syntactic Monoid of a Hypercode. Semigroup Forum 6 (1973), 227–231.
G. Thierrin, S. S. Yu: Shuffle Relations and Codes. J. Inform. and Optim. Sci. 12 (1991), 441–449.
E. Valkema: Syntakische Monoide und Hypercodes. Semigroup Forum 13 (1976/77), 119–126.
M. Vincent: Construction de codes indécomposables. RAIRO Inform. Théor. Applicat. 19 (1985), 165–178.
D. J. A. Welsh: Matroid Theory. Academic Press, London, 1976.
D. Wood: Theory of Computation. Harper & Row, New York, 1987.
S. S. Yu: Codes and n-ary Relations. Ph. D. Thesis, The University of Western Ontario, 1990.
S. S. Yu: A Characterization of Intercodes. Internat. J. Comp. Math. 36 (1990), 39–45.
S. Zhang: An Equivalence Relation on Suffix Codes Defined by Generalized Regular Languages. Internat. J. Comp. Math. 35 (1990), 15–24.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jürgensen, H., Konstantinidis, S. (1993). The hierarchy of codes. In: Ésik, Z. (eds) Fundamentals of Computation Theory. FCT 1993. Lecture Notes in Computer Science, vol 710. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57163-9_4
Download citation
DOI: https://doi.org/10.1007/3-540-57163-9_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57163-6
Online ISBN: 978-3-540-47923-9
eBook Packages: Springer Book Archive