Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Schützenberger"”.
-
Weintrauben, Polynome, Tableaux
Schubert Polynome wurden von Lascoux und Schützenberger definiert. Sie stellen eine Verallgemeinerung der bekannten Schur Polynome dar. Für ein Schur Polynom gibt es eine kombinatorische Interpretation. Es ist die erzeugende Funktion von Tableaux mit vorgegebenen Eigenschaften. In dieser Arbeit …
-
Expressiveness and Decidability of Weighted Automata and Weighted Logics
… few examples. In a parallel line of development, Schützenberger introduced weighted automata which allow the description of quantitative properties of regular languages. In subsequent works, many of these descriptive formalisms and extensions were combined and their relationships investigated. For …
-
Kleene-Type Results for Weighted Tree-Automata
The main result of this thesis is the generalization of the Kleene-theorem to formal tree-series over commutative semirings (the Kleene theorem states the coincidence between rational and recognizable formal languages). To this end weighted tree-languages are introduced and the Kleene-theorem is …