Informatik-Oberseminar: Synthesis of Transducers from Relations on Finite Words and Trees
Mittwoch, 19.12.2018, 10.00 Uhr
Ort: Gebäude E3, Seminarraum 9222, Ahornstr. 55
Referentin: Sarah Winter, M.Sc. (Informatik 7)
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 Dozentinnen und Dozenten der Informatik