- AutorIn
- Matthias Büchse
- Titel
- Algebraic decoder specification: coupling formal-language theory and statistical machine translation
- Untertitel
- Algebraic decoder specification: coupling formal-language theory and statistical machine translation
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa-159266
- Datum der Einreichung
- 05.08.2014
- Datum der Verteidigung
- 18.12.2014
- Abstract (EN)
- 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.
- Freie Schlagwörter (DE)
- Maschinelles Übersetzen, Algebraische Spezifikation, Theorie der formalen Sprachen, Gewichtete Baumautomaten
- Freie Schlagwörter (EN)
- machine translation, algebraic specification, formal-language theory, weighted tree automata
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Normschlagwörter (GND)
- Maschinelle Übersetzung, Automatentheorie, Algebra
- GutachterIn
- Prof. Dr.-Ing. habil. Heiko Vogler
- Prof. Dr. rer. nat. Alexander Koller
- BetreuerIn
- Prof. Dr.-Ing. habil. Heiko Vogler
- Den akademischen Grad verleihende / prüfende Institution
- Technische Universität Dresden, Dresden
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa-159266
- Veröffentlichungsdatum Qucosa
- 28.01.2015
- Dokumenttyp
- Dissertation
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis