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.