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 &lt;Mathematik&gt; 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

Similar Items

Kleene-Type Results for Weighted Tree-Automata
by: Pech, Christian
Published: (2004)

Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking
by: Rehfeld, Stephan
Published: (2016)

Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
by: Appold, Christian
Published: (2015)

Conceptual Factors and Fuzzy Data
by: Glodeanu, Cynthia Vera
Published: (2013)

Axiomatizing Confident GCIs of Finite Interpretations
by: Borchmann, Daniel
Published: (2012)

On the lattice of varieties of almost-idempotent semirings
by: Michalski, Burkhard
Published: (2018)

NETS AND SEPARATED S-POSETS
by: Mahdieh Haddadi
Published: (2013-09-01)

Algebras Describing Pseudocomplemented, Relatively Pseudocomplemented and Sectionally Pseudocomplemented Posets
by: Ivan Chajda, et al.
Published: (2021-04-01)

Schedules for Dynamic Bidirectional Simulations on Parallel Computers
by: Lehmann, Uwe
Published: (2003)

Langzeiteffektivität acht Jahre nach Gastric banding-Operation
by: Ullmann, Birgit
Published: (2007)

A multigrid method with matrix-dependent transfer operators for 3D diffusion problems with jump coefficients
by: Zhebel, Elena
Published: (2009)

Categorical semantics and composition of tree transducers
by: Jürgensen, Claus
Published: (2004)

Relatively pseudocomplemented posets
by: Ivan Chajda, et al.
Published: (2018-04-01)

Definition of Flat Poset and Existence Theorems for Recursive Call
by: Ishida Kazuhisa, et al.
Published: (2014-03-01)

Dietitians and nutritionists
by: Jung, Franziska, et al.
Published: (2015)

ORDER DENSE ESSENTIALITY AND BEHAVIOR OF ORDER DENSE INJECTIVITY
by: L. Shahbaz
Published: (2020-01-01)

Automatic Construction of Implicative Theories for Mathematical Domains
by: Revenko, Artem
Published: (2016)

Ramsey Property of Posets and Related Structures
by: Sokic, Miodrag
Published: (2010)

Ramsey Property of Posets and Related Structures
by: Sokic, Miodrag
Published: (2010)

Equivalent Forms for a Poset to Be Modular Poset
by: Sundarayya P., et al.
Published: (2021-05-01)

Subpullbacks and coproducts of $S$-posets
by: Xingliang Liang, et al.
Published: (2015-07-01)

Contributions to the 11th International Conference on Formal Concept Analysis
Published: (2013)

Informationen : 07, Sektion Mathematik / Technische Universität Dresden
Published: (2013)

First Report of DHA-1 Producing Enterobacter cloacae Complex Isolate in Bulgaria
by: Dobromira I. Dimitrova, et al.
Published: (2019-09-01)

Relational Exploration
by: Rudolph, Sebastian
Published: (2007)

Identifying and Prioritizing Factors that Affect Human Resource Productivity by Using MADM Techniques
by: مجتبی طواری, et al.
Published: (2008-09-01)

A characterization of a pomonoid $S$ all of its cyclic $S$-posets are regular injective
by: Xia Zhang, et al.
Published: (2013-12-01)

Forbidding and enforcing of formal languages, graphs, and partially ordered sets
by: Genova, Daniela
Published: (2007)

Büchi Automata as Specifications for Reactive Systems
by: Fogarty, Seth
Published: (2013)

Büchi Automata as Specifications for Reactive Systems
by: Fogarty, Seth
Published: (2013)

A result for O2-convergence to be topological in posets
by: Li Qingguo, et al.
Published: (2016-01-01)

A Connection Between Clone Theory and FCA Provided by Duality Theory
by: Kerkhoff, Sebastian
Published: (2012)

Learning Terminological Knowledge with High Confidence from Erroneous Data
by: Borchmann, Daniel
Published: (2014)

Krylov subspace methods and their generalizations for solving singular linear operator equations with applications to continuous time Markov chains
by: Schneider, Olaf
Published: (2009)

Effizienzermittlung von Maßnahmen mit Gewichtsauswirkung in der PKW-Entwicklung
by: Jakubik, Uwe
Published: (2014)

Relatively pseudocomplemented Hilbert algebras
by: Cīrulis Jānis
Published: (2008-03-01)

The Discrete Logarithm Problem in Finite Fields of Small Characteristic
by: Zumbrägel, Jens
Published: (2017)

Characterizing graphs of critical pairs of layered generalized crowns
by: Rebecca E. Garcia, et al.
Published: (2020-01-01)

COGENERATOR AND SUBDIRECTLY IRREDUCIBLE IN THE CATEGORY OF S-POSETS
by: Gholamreza Moghaddasi
Published: (2015-02-01)

Statisch pairs in atomistic posets
by: Alireza Vaezi, et al.
Published: (2017-07-01)

Cannot write session to /tmp/vufind_sessions/sess_5p1hvfg7bem0ug7e3lpt407b7a