Skip to main content
SpringerLink
Log in

Combinatorial rewriting on traces

  • Conference paper
  • First Online:
Book cover STACS 90 (STACS 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 415))

Included in the following conference series:

Abstract

There are two main problems in working with replacement systems over free partially commutative monoids: For finite noetherian systems confluence is undecidable, in general, and the known algorithm to compute irreducible normal forms need time square in the derivation length instead of linear. We first give a decidable and sufficient condition for finite noetherian systems such that confluence becomes decidable. This condition is weaker than the known ones before. Then we give a decidable and sufficient condition such that irreducible normal forms are computable in time linear to the derivation length. Furthermore, we prove that the first condition is implied by the second. We also present a new uniform algorithm for computing normal forms using Zielonka's theory of asynchronous automata.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. I.J. Aalbersberg and G. Rozenberg. Theory of traces. Theoret. Comput. Sci., 60:1–82, 1988.

    Article  Google Scholar 

  2. L. Bachmair and N. Dershowitz. Critical pair criteria for completion. J. Symbolic Computation, 6:1–18, 1988.

    Google Scholar 

  3. R. Book and H.-N. Liu. Rewriting systems and word problems in a free partially commutative monoid. Inform. Proc. Letters, 26:29–32, 1987.

    Article  Google Scholar 

  4. R. Book. Confluent and other types of Thue systems. J. Assoc. for Comp. Mach., 29:171–182, 1982.

    Google Scholar 

  5. R. Cori and Y. Métivier. Approximation d' une trace, automates asynchrones et ordre des evenement dans les systemes repartis. Technical Report 1-8708, UER de Mathematiques et d' Informatique, Université de Bordeaux I, 1987.

    Google Scholar 

  6. V. Diekert. On the Knuth-Bendix completion for concurrent processes. In Th. Ottmann, editor, Proc. of the 14th International Colloquium on Automata Languages and Programming, Karlsruhe 1987, (ICALP'87), number 267 in Lect. Notes in Comp. Sci., pages 42–53. Springer, 1987. Appeared also in a revised version in Theoret. Comp. Science 66:117–136, 1989.

    Google Scholar 

  7. V. Diekert. Word problems over traces which are solvable in linear time. In B. Monien et al., editors, Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science (STACS'89), Paderborn 1989, number 349 in Lect. Notes in Comp. Sci., pages 168–180. Springer, 1989. To appear in revised version in Theoret. Comp. Science.

    Google Scholar 

  8. J.P. Jouannaud. Confluent and coherent equational term rewriting systems applications to proofs in abstract data types. In Ausiello G. et al., editors, Proceeding of the conference of Trees in Algebra and Programming (CAAP'83), number 159 in Lect. Notes in Comp. Sci., pages 269–283. Springer, 1983.

    Google Scholar 

  9. D. Kapur, D. Musser, and P. Narendran. Only prime superposition need be considered in the Knuth-Bendix completion procedure. J. Symbolic Computation, 6:19–36, 1988.

    Google Scholar 

  10. A. Mazurkiewicz. Concurrent program schemes and their interpretations. DAIMI Rep. PB 78, Aarhus University, Aarhus, 1977.

    Google Scholar 

  11. A. Mazurkiewicz. Trace theory. In W. Brauer et al., editors, Petri Nets, Applications and Relationship to other Models of Concurrency, number 255 in Lect. Notes in Comp. Sci., pages 279–324. Springer, 1987.

    Google Scholar 

  12. P. Narendran and F. Otto. Preperfectness is undecidable for Thue systems containing only length-reducing rules and a single commutation rule. Information Proc. Letters, 29:125–130, 1988.

    Article  Google Scholar 

  13. F. Otto. On deciding confluence of finite string rewriting systems modulo partial commutativity. Theoret. Comput. Sci., 67:19–36, 1989.

    Article  Google Scholar 

  14. D. Perrin. Partial commutations. In Proc. of the 16th International Colloquium on Automata, Languages and Programming (ICALP '89), Stresa 1989, Italy, number 372 in Lect. Notes in Comp. Sci., pages 637–651. Springer, 1989.

    Google Scholar 

  15. F. Winkler and B. Buchberger. A criterion for eleminating unnecessary reductions in the knuth-Bendix algorithm. In Proc. Coll. on Algebra, Combinatorics and Logic in Computer Science, Györ, Hungary, 1983.

    Google Scholar 

  16. C. Wrathall. The word problem for free partially commutative groups. J. Symbolic Computation, 6:99–104, 1988.

    Google Scholar 

  17. W. Zielonka. Notes on finite asynchronous automata. R.A.I.R.O.-Informatique théorique et Application, 21:99–135, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, Arcisstr. 21, D-8000, München 2

    Volker Diekert

Authors
  1. Volker Diekert
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Christian Choffrut Thomas Lengauer

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Diekert, V. (1990). Combinatorial rewriting on traces. In: Choffrut, C., Lengauer, T. (eds) STACS 90. STACS 1990. Lecture Notes in Computer Science, vol 415. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52282-4_38

Download citation

  • DOI: https://doi.org/10.1007/3-540-52282-4_38

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52282-9

  • Online ISBN: 978-3-540-46945-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation