TY - CONF
AB - <p>This paper provides an algebraic characteriza- tion of the total input strictly local functions. Simultaneous, noniterative rules of the form A→B/C D, common in phonology, are defin- able as functions in this class whenever CAD represents a finite set of strings. The algebraic characterization highlights a fundamental con- nection between input strictly local functions and the simple class of definite string languages, as well as connections to string functions stud- ied in the computer science literature, the def- inite functions and local functions. No effec- tive decision procedure for the input strictly local maps was previously available, but one arises directly from this characterization. This work also shows that, unlike the full class, a restricted subclass is closed under composition. Additionally, some products are defined which may yield new factorization methods.</p>
AU - Dakotah Lambert, Jeffrey Heinz
DA - 2023/6//
DO - 10.7275/Q54B-MG07
IS - 1
VL - 6
PB - University of Massachusetts Amherst Libraries
PY - 2023
TI - An Algebraic Characterization of Total Input Strictly Local Functions
T2 - Society for Computation in Linguistics
UR - https://openpublishing.library.umass.edu/scil/article/id/968/
ER -