+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Mittwoch, 19. Dezember 2018, 10:00 Uhr Ort: Gebäude E3, Seminarraum 9222, Ahornstr. 55 Referentin: Sarah Winter, M.Sc. Informatik 7 Thema: Synthesis of Transducers from Relations on Finite Words and Trees Abstract: The synthesis problem asks, given a specification that relates possible inputs to allowed outputs, whether there is a program realizing the specification, and if so, construct one. Such a program is referred to as an implementation of the specification. The field of automata theory offers a rich landscape of models for defining specifications and implementations over both words and trees. We consider synthesis of sequential transducers from automaton-definable specifications on finite words and trees. In this talk, concerning specifications over words, we discuss synthesis of sequential word transducers from rational relations in which the allowed input/output behavior is specified by a given set of synchronizations. Concerning specifications over trees, we focus on synthesis of deterministic top-down tree transducers from tree-automatic specifications. Es laden ein: Die Dozenten der Informatik