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-TOPR = l-BOT
  • 15. Vorlesung, 02.02.2015: Hasse-Diagramm für Teilklassen von TOP und BOT
Stand: 19.10.2017 12:36 Uhr