Advertisement

Syntactic and semantic aspects of parallelism

  • Alexandru Mateescu
  • Grzegorz Rozenberg
  • Arto Salomaa
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1337)

Abstract

We define and investigate new methods for the parallel composition of words and languages. The operation of parallel composition leads to new shuffle-like operations defined by syntactic constraints on the usual shuffle operation. The approach is applicable to concurrency, providing a method to define the parallel composition of processes. It is also applicable to parallel computation.

The syntactic constraints are introduced using a uniform method based on the notion of a trajectory. We obtain in a natural way a large class of semirings.

The approach is amazingly flexible. Diverse concepts from the theory of concurrency can be introduced and studied in this framework. For instance, we provide examples of applications to the fairness property and parallelization of non-context-free languages in terms of context-free and even regular languages.

Semantic constraints mean constraints applied to the symbols (atomic actions) that occur inside of processes. Such constraints provide methods to define the parallel composition of processes that have critical sections, priorities or re-entrant routines. They are also applicable for modelling the communication between processes.

Keywords

Critical Section Regular Language Finite Automaton Parallel Composition Semantic Constraint 
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.
    T. Axford, Concurrent Programming Fundamental Techniques for Real Time and Parallel Software Design, John Wiley &: Sons, New York, 1989.Google Scholar
  2. 2.
    J. C. M. Baeten and W. P. Weijland, Process Algebra, Cambridge University Press, 1990.Google Scholar
  3. 3.
    J. A. Bergstra and J. W. Klop, “Process Algebra for Synchronous Communication”, Information and Control, 60 (1984), 109–137.MathSciNetCrossRefGoogle Scholar
  4. 4.
    W. Brauer, Automatentheorie, B.G. Teubner, Stuttgart, 1984.Google Scholar
  5. 5.
    J. S. Golan, A. Mateescu and D. Vaida, “Semirings and Parallel Composition of Processes”, Journal of Automata, Languages and Combinatorics, to appear.Google Scholar
  6. 6.
    L. Guo, K. Salomaa and S. Yu, Synchronization Expressions and Languages, The University of Western Ontario London, Dept. of Comp. Sci., Technical Report 368, 1993.Google Scholar
  7. 7.
    T. Harju, M. Lipponen and A. Mateescu, “Flatwords and Post Correspondence Problem”, Theoretical Computer Science, to appear.Google Scholar
  8. 8.
    M. Hennessy, Algebraic Theory of Processes, The MIT Press, Cambridge, Massachusetts, London, 1988.Google Scholar
  9. 9.
    G.H. Higman, “Ordering by divisibility in abstract algebras”, Proc. London Math. Soc., 3, (1952) 326–336.MathSciNetGoogle Scholar
  10. 10.
    L. Kari, On insertion and deletion in formal languages, PhD Thesis, University of Turku, Turku, Finland, 1991.Google Scholar
  11. 11.
    M. Kudlek and A. Mateescu, “Distributed Catenation and Chomsky Hierarchy”, FCT'95, Dresden, 1995, Lecture Notes in Computer Science, LNCS 965, Springer-Verlag, 1995, 313–322.Google Scholar
  12. 12.
    M. Kudlek and A. Mateescu, “Rational and Algebraic Languages with Distributed Catenation”, DLT'95, Magdeburg, 1995, in Developments in Language Theory II, eds. J. Dassow, G. Rozenberg and A. Salomaa, World Scientific, Singapore, 1996, 129–138.Google Scholar
  13. 13.
    W. Kuich and A. Salomaa, Semirings, Automata, Languages, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin, 1986.Google Scholar
  14. 14.
    A. Mateescu, “On (Left) Partial Shuffle”, Results and Trends in Theoretical Computer Science, LNCS 812, Springer-Verlag, (1994) 264–278.Google Scholar
  15. 15.
    A. Mateescu and A. Salomaa, “Formal Languages: an Introduction and a Synopsis”, Chapter 1, in Handbook of Formal Languages, eds. G. Rozenberg and A. Salomaa, Springer-Verlag, to appear.Google Scholar
  16. 16.
    A. Mateescu and A. Salomaa, “Parallel Composition of Words with Re-entrant Symbols”, TUCS Technical Report, 15, 1996.Google Scholar
  17. 17.
    A. Mateescu, K. Salomaa and S. Yu, “Decidability of Fairness for Context-Free Languages”, submitted.Google Scholar
  18. 18.
    H. A. Maurer, G. Rozenberg and E. Welzl, “Using String Languages to Describe Picture Languages”, Information and Control, 3, 54, (1982) 155–185.MathSciNetCrossRefGoogle Scholar
  19. 19.
    R. Milner; Communication and Concurrency, Prentice Hall International. 1989.Google Scholar
  20. 20.
    A. Salomaa, Formal Languages, Academic Press, New York, 1973.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Alexandru Mateescu
    • 1
    • 2
  • Grzegorz Rozenberg
    • 3
  • Arto Salomaa
    • 4
  1. 1.Turku Centre for Computer ScienceTurkuFinland
  2. 2.Department of MathematicsUniversity of BucharestRomania
  3. 3.Department of Computer ScienceLeiden UniversityRA LeidenThe Netherlands
  4. 4.Academy of Finland and Department of MathematicsUniversity of TurkuTurkuFinland

Personalised recommendations