Login
Talks & Seminars
Title: Transducer Theory and Streaming Transformations
Dr. Emmanuel Filiot, Brussels University
Date & Time: December 16, 2013 15:00
Venue: Lecture Hall, B Block, 02nd/03rd Floor, Department of Computer Science and Engineering, Kanwal Rekhi Building
Abstract:
Finite state automata are language acceptors. They map strings read on their input tape to {0,1}. Transducers extend automata with an output tape, and can therefore map strings to other strings. This talk will first survey some of the main results of the theory of finite state transducers. Then, several major extensions will be presented, that either increase the computational power of finite state transducers (e.g. by allowing the input head to move in both directions), or process more general structures, e.g. infinite strings or trees. Finally, an application to streaming transformations and its connection with strategy synthesis in game theory for reactive systems (Church problem) will be shown.
Speaker Profile:
Emmanuel Filiot (PhD 2008, INRIA Lille, France) is an FNRS research associate in the computer science department of Brussels University (ULB), since September 2013. His research interests cover the theoretical foundations of data-centric systems and synthesis of reactive systems from temporal specifications, based on automata, transducer and logics for strings and trees, and computational game theory. He teaches foundations of computer-science at Brussels University.
List of Talks

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback