This page is a stub to be filled with documentation of the transformation mapping visualization project for theoretical computer science.