Equivalence and membership problems for regular trace languages

  • A. Bertoni
  • G. Mauri
  • N. Sabadini
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 140)


Equivalence Problem Regular Language Program Scheme Asymptotic Density Membership Problem 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Bertoni,A.,Brambilla,M.,Mauri,G.,Sabadini,N., An application of the theory of free partially commutative monoids: asymptotic densities of trace languages,Lect.Not.Comp.Sci.,118,Springer, 1981.Google Scholar
  2. [2]
    Bertoni,A.,Mauri,G.,Sabadini,N.,A hierarchy of regular trace languages and some combinatorial applications,Second World Conference on Mathematics at the Service of Men,Las Palmas,1982.Google Scholar
  3. [3]
    Dilworth,R.P.,A decomposition theorem for partially ordered sets,Ann.of Math.51,1950,pp.161–166.MathSciNetCrossRefGoogle Scholar
  4. [4]
    Garey,M., Johnson,D.J.,Computers and intractability,Freeman and Co, San Francisco,1979.zbMATHGoogle Scholar
  5. [5]
    Hopcroft,J.E.,Ullman,J.D.,Formal languages and their relations to automata, Addison Wesley,Reading Mass.,1969.zbMATHGoogle Scholar
  6. [6]
    Knuth,E.,Petri Nets and regular trace languages, Univ. of Newcastle upon Tyne,Comp.Lab.,ASM/47,1978.Google Scholar
  7. [7]
    Lallement,G.,Semigroups and combinatorial applications,J.Wiley and Sons, New York,1979.zbMATHGoogle Scholar
  8. [8]
    Mazurkiewicz,A.,Concurrent program schemes and their interpretations, DAIMI,PB 78,Aarhus University,1977.Google Scholar
  9. [9]
    Petri,C.A.,Non sequential processes,ISF Rep.77/01,GMD Bonn,1977.Google Scholar
  10. [10]
    Szijarto,M.,Trace languages and closure operations,Automata Theoretic Letters,1979/2,Dept.of numerical and computer math., L.Eotvos University, Budapest,1979.Google Scholar
  11. [11]
    Fisher,P.C.,Rosenberg,A.L.,Multitape non writing automata,J.C.S.S., 2,1968,pp.88–101.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • A. Bertoni
    • 1
    • 2
  • G. Mauri
    • 1
    • 3
  • N. Sabadini
    • 1
  1. 1.Istituto di CiberneticaUniversità di MilanoItalia
  2. 2.Istituto di MatematicaUniversità della CalabriaItalia
  3. 3.Istituto di MatematicaUniversità di UdineItalia

Personalised recommendations