Spelling suggestions: "subject:"baumautomat, räume, gewichtete, logik"" "subject:"baumautomat, räume, gewichtete, gogik""
1 |
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.
|
Page generated in 0.0523 seconds