Advertisement

Distributed catenation and chomsky hierarchy

  • Manfred Kudlek
  • Alexandru Mateescu
Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 965)

Abstract

We introduce a new operation between words and languages, called distributed catenation. The distributed catenation is a natural extension of the well known catenation operation from the theory of formal languages. As for partial shuffle operation the introduction of this operation is strongly motivated by the theory of concurrency. At the same time the distributed catenation is a powerful operation. For instance, any Turing machine can be simulated by a pushdown automaton that uses distributed catenation for the pushdown memory.

Keywords

Binary Operation Turing Machine Formal Language Finite Automaton Canonical Decomposition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J.S. Golan: The Theory of Semirings with Application in Mathematics and Theoretical Computer Science, Longman Scientific and Technical, 1992.Google Scholar
  2. 2.
    H. Jürgensen: Syntactic Monoids of Codes, Report 327, Dept.Comp.Sci., The University of Western Ontario, 1992.Google Scholar
  3. 3.
    W. Kuich, A. Salomaa: Semirings, Automata, Languages, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin, 1986.Google Scholar
  4. 4.
    A. Mateescu: On (Left) Partial Shuffle, Proceedings of ‘Results and Trends in Theoretical Computer Science', LNCS 812, Springer-Verlag, (1994) 264–278.Google Scholar
  5. 5.
    C. Reutenauer: Free Lie Algebras, Clarendon Press, Oxford, 1993.Google Scholar
  6. 6.
    J. Sakarovitch, I. Simon: Subwords, in Combinatorics on Words, M. Lothaire (ed.), Addison-Wesley, Read. Mass., 1983.Google Scholar
  7. 7.
    A. Salomaa: Formal Languages, Academic Press, New York, 1973.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Manfred Kudlek
    • 1
  • Alexandru Mateescu
    • 2
    • 3
  1. 1.Fachbereich InformatikUniversität HamburgGermany
  2. 2.Faculty of MathematicsUniversity of BucharestRomania
  3. 3.Academy of Finland and Department of MathematicsUniversity of TurkuFinland

Personalised recommendations