zbMATH — the first resource for mathematics

An application of the theory of free partially commutative monoids: Asymptotic densities of trace languages. (English) Zbl 0468.68081
Mathematical foundations of computer science 1981, Proc. 10th Symp., Strbske Pleso/Czech. 1981, Lect. Notes Comput. Sci. 118, 205-215 (1981).

68Q45 Formal languages and automata
68Q60 Specification and verification (program logics, model checking, etc.)
20M35 Semigroups in automata theory, linguistics, etc.
Full Text: DOI