Global ETD Search

1	Weighted automata and weighted logics over tree-like structures Mathissen, Christian January 2009 (has links) Zugl.: Leipzig, Univ., Diss., 2009 Gewichteter Automat Baumautomat
2	Restarting tree automata formal properties and possible variations Stamer, Heiko January 2008 (has links) Zugl.: Kassel, Univ., Diss., 2008 Baumautomat Restart-Automat
3	Efficient XML processing with tree automata Berlea, Alexandru. Unknown Date (has links) Techn. University, Diss., 2005--München. XML. Abfrageverarbeitung. Baumautomat.
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 automata Pech, Christian. Unknown Date (has links) (PDF) Techn. University, Diss., 2003--Dresden.
6	Gewichtete Logik und Baumautomaten über Baumbewertungsmonoiden Gö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. Baumautomat, Bäume, gewichtet, Logik info:eu-repo/classification/ddc/000 ddc:000
7	Standard and Non-Standard Inferences in the Description Logic FL₀ Using Tree Automata Baader, 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. info:eu-repo/classification/ddc/004 ddc:004
8	Kleene-Type Results for Weighted Tree-Automata / Kleeneartige Resultate für Gewichtete Baumautomaten Pech, 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. Automat Baum Baumautomat Baumreihe Fixpunkt Gewicht Iterationstheorie Kleene Kosten Schützenberger Sprache gewichtet rational regulär Kleene Schützenberger automaton cost fixedpoint iteration-theory language rational regular tree tree-series weight weighted ddc:510 rvk:SK 130 Automat Baum &lt;Mathematik&gt; Baumautomat Fixpunkt Formale Sprache Iterationstheorie
9	Kleene-Type Results for Weighted Tree-Automata Pech, 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. info:eu-repo/classification/ddc/510 ddc:510

Search results