Weighted Branching Automata

Weighted Branching Automata

Eine der stärksten Erweiterungen der klassischen Theorie formaler Sprachen und Automaten ist die Einbeziehung von Gewichten oder Vielfachheiten aus einem Halbring. Diese Dissertation untersucht gewichtete Automaten über Strukturen mit Nebenläufigkeit. Wir erweitern die Arbeit von Lodaya und Weil und...

Full description

Bibliographic Details
Main Author: Meinecke, Ingmar
Other Authors: Technische Universität Dresden, Mathematik und Naturwissenschaften, Mathematik, Institut für Algebra
Format: Doctoral Thesis
Language:English
Published: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden 2005
Subjects:
Bihalbring
Gewichte
Nebenläufigkeit
formale Potenzreihen
sp-posets
verzweigende Automaten
bisemiring
branching automata
concurrency
formal power series
weights
ddc:510
rvk:SK 130
Endlicher Automat
Gewicht <Mathematik>
Halbring
Online Access:http://nbn-resolving.de/urn:nbn:de:swb:14-1133443150529-27676
http://nbn-resolving.de/urn:nbn:de:swb:14-1133443150529-27676
http://www.qucosa.de/fileadmin/data/qucosa/documents/1406/1133443150529-2767.pdf

Internet

http://nbn-resolving.de/urn:nbn:de:swb:14-1133443150529-27676
http://nbn-resolving.de/urn:nbn:de:swb:14-1133443150529-27676
http://www.qucosa.de/fileadmin/data/qucosa/documents/1406/1133443150529-2767.pdf

Similar Items