Skip to main content
SpringerLink
Log in

The Trace Monoids in the Queue Monoid and in the Direct Product of Two Free Monoids

  • Conference paper
  • First Online:
Book cover Developments in Language Theory (DLT 2016)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9840))

Included in the following conference series:

Abstract

We prove that a trace monoid embeds into the queue monoid if and only if it embeds into the direct product of two free monoids. We also give a decidable characterization of these trace monoids.

Supported by the DFG-Project “Speichermechanismen als Monoide”, KU 1107/9-1.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    i.e., (u, v, w) is one of the triples \((u',v',w')\), \((v',w',u')\) and \((w',u',v')\).

References

  1. Cori, P., Perrin, D.: Automates et commutations partielles. R.A.I.R.O. Informatique Théorique et Applications 19, 21–32 (1985)

    Google Scholar 

  2. Diekert, V.: Combinatorics on Traces. LNCS, vol. 454. Springer, Heidelberg (1990)

    MATH  Google Scholar 

  3. Diekert, V., Muscholl, A., Reinhardt, K.: On codings of traces. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  4. Diekert, V., Rozenberg, G.: The Book of Traces. World Scientific Publ. Co., River Edge (1995)

    Book  Google Scholar 

  5. Kuske, D., Prianychnykova, O.: The trace monoids in the queue monoid and in the direct product of two free monoids. arXiv:1603.07217 (2016)

  6. Huschenbett, M., Kuske, D., Zetzsche, G.: The monoid of queue actions. In: Csuhaj-Varjú, E., Dietzfelbinger, M., Ésik, Z. (eds.) MFCS 2014, Part I. LNCS, vol. 8634, pp. 340–351. Springer, Heidelberg (2014)

    Google Scholar 

  7. Huschenbett, M., Kuske, D., Zetzsche, G.: The monoid of queue actions (2016, submitted)

    Google Scholar 

  8. Kunc, M.: Undecidability of the trace coding problem and some decidable cases. Theor. Comput. Sci. 310(1–3), 393–456 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  9. Mazurkiewicz, A.: Concurrent program schemes and their interpretation. Technical report, DAIMI Report PB-78, Aarhus University (1977)

    Google Scholar 

  10. Seinsche, D.: On a property of the class of \(n\)-colorable graphs. J. Comb. Theory (B) 16, 191–193 (1974)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachgebiet Automaten und Logik, Technische Universität Ilmenau, Helmholtzplatz 5, 98684, Ilmenau, Germany

    Dietrich Kuske & Olena Prianychnykova

Authors
  1. Dietrich Kuske
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Olena Prianychnykova
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Olena Prianychnykova .

Editor information

Editors and Affiliations

  1. Université du Québec à Montréal , Montreal, Québec, Canada

    Srečko Brlek

  2. Dept Mathematiques, Univ du Quebec Montreal Dept Mathematiques, Montreal, Québec, Canada

    Christophe Reutenauer

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kuske, D., Prianychnykova, O. (2016). The Trace Monoids in the Queue Monoid and in the Direct Product of Two Free Monoids. In: Brlek, S., Reutenauer, C. (eds) Developments in Language Theory. DLT 2016. Lecture Notes in Computer Science(), vol 9840. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-53132-7_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-53132-7_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-53131-0

  • Online ISBN: 978-3-662-53132-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation