Trace Monoid

CHF 39.30
Auf Lager
SKU
IDV675A3MML
Stock 1 Verfügbar
Geliefert zwischen Mo., 02.03.2026 und Di., 03.03.2026

Details

High Quality Content by WIKIPEDIA articles! In mathematics and computer science, a trace is a set of strings, wherein certain letters in the string are allowed to commute, but others are not. It generalizes the concept of a string, by not forcing the letters to always be in a fixed order, but allowing certain reshufflings to take place. Traces are used in theories of concurrent computation, where commuting letters stand for portions of a job that can execute independently of one-another, while non-commuting letters stand for locks, synchronization points or thread joins. The trace monoid or free partially commutative monoid is a monoid of traces. In a nutshell, it is constructed as follows: sets of commuting letters are given by an independency relation. These induce an equivalence relation of equivalent strings; the elements of the equivalence classes are the traces. The equivalence relation then partitions up the free monoid (the set of all strings of finite length) into a set of equivalence classes; the result is still a monoid; it is a quotient monoid and is called the trace monoid. The trace monoid is universal, in that all homomorphic monoids are in fact isomorphic.

Weitere Informationen

  • Allgemeine Informationen
    • GTIN 09786130354435
    • Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
    • Sprache Englisch
    • Größe H220mm x B150mm x T6mm
    • Jahr 2010
    • EAN 9786130354435
    • Format Kartonierter Einband
    • ISBN 978-613-0-35443-5
    • Titel Trace Monoid
    • Untertitel Mathematics, Computer Science, String (Computer Science), Parallel Computing, Monoid, Dependency Graph, Trace Theory, Semigroup, Homomorphism, Formal Language
    • Gewicht 179g
    • Herausgeber VDM Verlag Dr. Müller e.K.
    • Anzahl Seiten 108
    • Genre Informatik

Bewertungen

Schreiben Sie eine Bewertung
Nur registrierte Benutzer können Bewertungen schreiben. Bitte loggen Sie sich ein oder erstellen Sie ein Konto.
Made with ♥ in Switzerland | ©2025 Avento by Gametime AG
Gametime AG | Hohlstrasse 216 | 8004 Zürich | Schweiz | UID: CHE-112.967.470
Kundenservice: customerservice@avento.shop | Tel: +41 44 248 38 38