Spelling suggestions: "subject:"baumautomaten"" "subject:"automat""
1 |
Weighted automata and weighted logics over tree-like structuresMathissen, Christian January 2009 (has links)
Zugl.: Leipzig, Univ., Diss., 2009
|
2 |
Restarting tree automata formal properties and possible variationsStamer, Heiko January 2008 (has links)
Zugl.: Kassel, Univ., Diss., 2008
|
3 |
Efficient XML processing with tree automataBerlea, Alexandru. Unknown Date (has links)
Techn. University, Diss., 2005--München.
|
4 |
Restarting tree automata : formal properties and possible variations /Stamer, Heiko. January 1900 (has links)
University, Diss--Kassel, 2008.
|
5 |
Kleene type results for weighted tree automataPech, Christian. Unknown Date (has links) (PDF)
Techn. University, Diss., 2003--Dresden.
|
6 |
Gewichtete Logik und Baumautomaten über BaumbewertungsmonoidenGötze, Doreen 20 October 2017 (has links)
Bäume sind wichtige Strukturen in der Informatik. Sie repräsentieren zum Beispiel Programmcode oder Datenstrukturen. Ihre quantitativen Eigenschaften, wie zum Beispiel ihr Ressourcenverbrauch, können mittels gewichteten Baumautomaten un- tersucht werden. Wir definieren neue gewichtete endliche Bottom-Up-Baumautoma- ten mit Gewichten aus Baumbewertungsmonoiden. Baumbewertungsmonoide sind verallgemeinerte Bewertungsmonoide mit einer Bewertungsfunktion, die auf Bäumen operiert. Sie ermöglichen es, unter anderem, den durchschnittlichen Ressourcenver- brauch zu modellieren. Des Weiteren führen wir eine gewichtete Logik für Bäume mit Gewichten aus Baumbewertungsmonoiden ein und zeigen, in Abhängigkeit von den Eigenschaften des Bewertungsmonoids, dass Fragmente dieser Logik die Klasse der erkennbaren Baumreihen über dem Baumbewertungsmonoid charakterisieren. Damit verallgemeinern wir das Resultat von Droste und Meinecke [17] von Wort- reihen über Bewertungsmonoiden auf Baumreihen über Baumbewertungsmonoiden. Schließlich geben wir Beispiele an, die die Notwendigkeit der Einschränkung der betrachteten Baumbewertungmonoide belegen.
|
7 |
Standard and Non-Standard Inferences in the Description Logic FL₀ Using Tree AutomataBaader, Franz, Gil, Oliver Fernández, Pensel, Maximilian 20 June 2022 (has links)
Although being quite inexpressive, the description logic (DL) FL₀, which provides only conjunction, value restriction and the top concept as concept constructors, has an intractable subsumption problem in the presence of terminologies (TBoxes): subsumption reasoning w.r.t. acyclic FL₀ TBoxes is coNP-complete, and becomes even ExpTime-complete in case general TBoxes are used. In the present paper, we use automata working on infinite trees to solve both standard and non-standard inferences in FL₀ w.r.t. general TBoxes. First, we give an alternative proof of the ExpTime upper bound for subsumption in FL₀ w.r.t. general TBoxes based on the use of looping tree automata. Second, we employ parity tree automata to tackle non-standard inference problems such as computing the least common subsumer and the difference of FL₀ concepts w.r.t. general TBoxes.
|
8 |
Kleene-Type Results for Weighted Tree-Automata / Kleeneartige Resultate für Gewichtete BaumautomatenPech, Christian 08 March 2004 (has links) (PDF)
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 proved for them. The desired result for formal tree-series is then obtained through application of a homomorphism that relates weighted tree-languages with formal tree-series. In the second part of the thesis the connections to the theorie of Iteration-theories are discovered. In particular it is shown there that the grove-theory of formal tree-series forms a partial iteration-theory. / Hauptresultat dieser Arbeit ist die Verallgemeinerung des Satzes von Kleene über die Koinzidenz der rationalen und der erkennbaren Sprachen auf den Fall der formalen Baumreihen über kommutativen Semiringen. Zu diesem Zweck werden gewichtete Baumsprachen eingeführt, da sich diese ählich den klassischen Baumsprachen verhalten. Der Satz von Kleene wird also zunächst auf den Fall der gewichteten Baumsprachen verallgemeinert. Das erstrebte Resultat wird dann durch Anwendung eines Homomorphismus', der gewichteten Baumsprachen formle Baumreihen zuordnet, erhalten. Im zweiten Teil der Arbeit werden Kreuzverbindungen zur Theorie der Iterationstheorien aufgezeigt. Insbesondere wird z.B. gezeigt, dass die Grovetheorie der formalen Baumreihen eine partielle Iterationstheorie bildet.
|
9 |
Kleene-Type Results for Weighted Tree-AutomataPech, Christian 18 August 2003 (has links)
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 proved for them. The desired result for formal tree-series is then obtained through application of a homomorphism that relates weighted tree-languages with formal tree-series. In the second part of the thesis the connections to the theorie of Iteration-theories are discovered. In particular it is shown there that the grove-theory of formal tree-series forms a partial iteration-theory. / Hauptresultat dieser Arbeit ist die Verallgemeinerung des Satzes von Kleene über die Koinzidenz der rationalen und der erkennbaren Sprachen auf den Fall der formalen Baumreihen über kommutativen Semiringen. Zu diesem Zweck werden gewichtete Baumsprachen eingeführt, da sich diese ählich den klassischen Baumsprachen verhalten. Der Satz von Kleene wird also zunächst auf den Fall der gewichteten Baumsprachen verallgemeinert. Das erstrebte Resultat wird dann durch Anwendung eines Homomorphismus', der gewichteten Baumsprachen formle Baumreihen zuordnet, erhalten. Im zweiten Teil der Arbeit werden Kreuzverbindungen zur Theorie der Iterationstheorien aufgezeigt. Insbesondere wird z.B. gezeigt, dass die Grovetheorie der formalen Baumreihen eine partielle Iterationstheorie bildet.
|
Page generated in 0.0478 seconds