Hauptregion der Seite anspringen

Liste der Abschlussarbeiten

Für erweiterte Suchoptionen können Sie diese Inhalte auch im Forschungsinformationssystem anzeigen lassen.

Algebraic decoder specification: coupling formal-language theory and statistical machine translation
Art der Abschlussarbeit
Dissertation
Autoren
  • Büchse, Matthias
Betreuer
  • Prof. Dr.-Ing. habil. Heiko Vogler
Abstract
The specification of a decoder, i.e., a program that translates sentences from one natural language into another, is an intricate process, driven by the application and lacking a canonical methodology. The practical nature of decoder development inhibits the transfer of knowledge between theory and application, which is unfortunate because many contemporary decoders are in fact related to formal-language theory. This thesis proposes an algebraic framework where a decoder is specified by an expression built from a fixed set of operations. As yet, this framework accommodates contemporary syntax-based decoders, it spans two levels of abstraction, and, primarily, it encourages mutual stimulation between the theory of weighted tree automata and the application.
Zugeordnete Forschungsschwerpunkte
  • Maschinelle Übersetzung
  • Gewichtete Baumautomaten und Baumübersetzer
Schlagwörter
machine translation, algebraic specification, formal-language theory, weighted tree automata
Berichtsjahr
2014
Stand: 26.10.2020 10:29 Uhr