Computer Science Graduate Seminar: Synthesis of Transducers from Relations on Finite Words and Trees
Wednesday, December 19, 2018, 10:00am
Location: E3 building, seminar room 9222, Ahornstr. 55
Speaker: Sarah Winter, M.Sc. (i7)
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.
The computer science lecturers invite interested people to join.