Logic Seminar

Mia MinnesUniversity of California at San Diego
Input/output machines and injection structures

Tuesday, May 6, 2014 - 2:55pm
Malott 206

An injection structure is presented by a finite-state transducer if its domain is a regular set of strings and its injection is realized by a finite-state transducer (deterministic input-output automaton). In this talk, I will present recent joint work with Jeff Remmel and Doug Center studying FST injection structures, characterizing all those over a unary alphabet, and comparing them to computable injection structures.