SCS Undergraduate Thesis Topics
|Pranav Senthilnathan||Klaus Sutner||Orbits of Iterated Binary Transducers|
This project looks at a special case of transducers, specifically binary invertible transducers. Starting with simple 3 state transducers and moving to more complex ones, we address questions about the orbits of these transducers. We try to provide a general ways to find if two elements are in the same orbit. Categorizing the transducers with efficient solutions to these problems could open applications in program verification where we want to check if a program ever enters a "bad" state.