LFCS seminar: Sebastian Maneth: A survey of equivalence problems for tree transducers
—
filed under:
LFCS Seminar,
Upcoming events
What 


When 
Oct 06, 2016 from 01:00 PM to 02:00 PM 
Where  IF 1.15 
Add event to calendar 
vCal iCal 
The decidability of equivalence for three important classes of tree
transducers is discussed. Each class can be obtained as a natural
restriction of deterministic macro tree transducers (MTTs):
(1) no context parameters, i.e., topdown tree transducers,
(2) linear size increase, i.e., MSO definable tree transducers, and
(3) monadic input and output ranked alphabets. For the full class of
MTTs, decidability of equivalence remains a longstanding open problem.