Logic and the Generative Power of Autosegmental Phonology
DOI:
https://doi.org/10.3765/amp.v1i1.4Keywords:
Tone, Autosegmental Phonology, Computational Complexity, LogicAbstract
Autosegmental Phonology is studied in the framework of Formal Language Theory, which classifies the computational complexity of patterns. In contrast to previous computational studies of Autosegmental Phonology, which were mainly concerned with finite-state implementations of the formalism, a methodology for a model-theoretic study of autosegmental diagrams with monadic second-order logic is introduced. Monadic second order logic provides a mathematically rigorous way of studying autosegmental formalisms, and its complexity is well understood. The preliminary conclusion is that autosegmental diagrams which conform to the well-formedness constraints defined here likely describe at most regular sets of strings.
Downloads
Published
Issue
Section
License
Published by the LSA with permission of the author(s) under a CC BY 3.0 license.