@inproceedings{lambert-2026-family,
    title = "A Family of Effective Methods for Decompiling Canonical Acceptors, Instantiated for Languages of Dot-Depth One and Tier-Based Extensions",
    author = "Lambert, Dakotah",
    editor = "Voigt, Rob  and
      Warstadt, Alex  and
      Feldman, Naomi  and
      Linzen, Tal",
    booktitle = "Proceedings of the Society for Computation in Linguistics 2026",
    month = jul,
    year = "2026",
    address = "San Diego, CA",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingest-acl-workshops/2026.scil-main.3/",
    pages = "25--36",
    ISBN = "979-8-89176-412-5",
    abstract = "Many kinds of logical systems have been employedin constructing formal languages to model phonological phenomena.A common theme among them is that the systems compile into finite automata.Two questions naturally arise.Can a given phenomenon be described with another logical system?And, if so, what is that description?To the first question, algebraic techniques are well establishedthrough deep connections with logic and automata.To the second, the situation is less clear.Translations from automata are establishedfor first-order and monadic second-order logicsunder precedence,but these may not translate easily to the simpler systems we often use.Translations for simple cases of restricted propositional logic(strictly local or strictly piecewise languages)are established,but insufficient to describe attested phenomena.The present work establishes a general way to handle many systems in between.Specifically,we show how to translate between certain kinds of algebraic varieties$\mathbf{V}$(systems defined by universally satisfied identities)and associated logical systems,then use decomposition to handle classes of the form$\mathbf{V}\ast\mathbf{D}$,where the notion of ``symbol'' is replaced by ``$k$-block''.With this, we handle several (unrestricted) propositional logics,facilitating logical description of natural language."
}