A Logical and Computational Methodology for Exploring Systems of Phonotactic Constraints
Dakotah Lambert, James Rogers · ScholarWorks@UMassAmherst (University of Massachusetts Amherst) · 2019
We introduce a methodology built around a logical analysis component based on a hierarchy of classes of Subregular constraints characterized by the kinds of features of a string a mechanism must be sensitive to in order to determine whether it satisfies the constraint, and a computational component built around a publicly-available interactive workbench that implements, based on the equivalence between logical formulae and finite-state automata, a theorem prover for these logics (even algorithmically extracting certain classes of constraints), wherein the alternation between these logical and computational analyses can provide useful insight more easily than using either in isolation.