Dudzinski, Krystian (Halifax, N.S. : Saint Mary's University, 2011)
We present a formal method for describing and deciding code related properties of regular languages using input altering transducers. We also provide an implementation of that method in the form of a web application. We ...