Formale Übersetzungsmodelle im Wintersemester 2014/2015

Behandelte Themen

• 1. Vorlesung, 13.10.2014: Bäume, strukturelle Induktion, grundlegende Funktionen, Tree Transformations
• 2. Vorlesung, 20.10.2014: Bottom-up Tree Transducers (Definition und Semantik) und deren Eigenschaft (B1)
• 3. Vorlesung, 27.10.2014: Eigenschaft (B2), Einschränkungen von bu-tt
• 4. Vorlesung, 03.11.2014: Potenzmengenkonstruktion (FTA = d-FTA)
• 5. Vorlesung, 10.11.2014: Dekompositionsresultat für bu-tt: [l]-BOT ⊆ REL ⚪ FTA ⚪ [l]-HOM
• 6. Vorlesung, 17.11.2014: [l]-BOT ⚪ FTA ⊆ [l]-BOT
• 7. Vorlesung, 24.11.2014: [l]-BOT ⚪ [l]-HOM ⊆ [l]-BOT, Definition Top-down Tree Transducers
• 8. Vorlesung, 01.12.2014: Eigenschaften (T1) und (T2), Einschränkungen von td-tt
• 9. Vorlesung, 08.12.2014: TOP ⊆ HOM ⚪ l-TOP
• 10. Vorlesung, 15.12.2014: l-TOP ⊆ l-BOT
• 11. Vorlesung, 05.01.2015: Unvergleichbarkeit von TOP und BOT, TOP ⚪ TOP ⊈ TOP, BOT ⚪ BOT ⊈ BOT
• 12. Vorlesung, 12.01.2015: Baker's Theorem für BOT
• 13. Vorlesung, 19.01.2015: Baker's Theorem für TOP
• 14. Vorlesung, 26.01.2015: Top-down tree transducer mit regulärem Lookahead, l-TOP^R = l-BOT
• 15. Vorlesung, 02.02.2015: Hasse-Diagramm für Teilklassen von TOP und BOT