Efficient universal generation in a fragment of Optimality Theory

Paul Siewert


Abstract
Various work in computational phonology has studied the computational properties of Optimality Theory. Some algorithms exist for the universal generation problem, including those of Ellison and Tesar, but their domain of applicability is poorly understood. I propose and study a concrete ’minimal’ fragment of finite-state Optimality Theory.I show that the universal generation problem for it is efficiently solvable by improving Ellison’s Algorithm, demonstrate that it has been implicitly used in the literature, and discuss its limitations.The minimal fragment is a natural and foundational step towards a computationally tractable general formalism for phonological analysis.
Anthology ID:
2026.scil-main.27
Volume:
Proceedings of the Society for Computation in Linguistics 2026
Month:
July
Year:
2026
Address:
San Diego, CA
Editors:
Rob Voigt, Alex Warstadt, Naomi Feldman, Tal Linzen
Venues:
SCiL | WS
SIG:
Publisher:
Association for Computational Linguistics
Note:
Pages:
294–303
Language:
URL:
https://preview.aclanthology.org/ingest-acl-workshops/2026.scil-main.27/
DOI:
Bibkey:
Cite (ACL):
Paul Siewert. 2026. Efficient universal generation in a fragment of Optimality Theory. In Proceedings of the Society for Computation in Linguistics 2026, pages 294–303, San Diego, CA. Association for Computational Linguistics.
Cite (Informal):
Efficient universal generation in a fragment of Optimality Theory (Siewert, SCiL 2026)
Copy Citation:
PDF:
https://preview.aclanthology.org/ingest-acl-workshops/2026.scil-main.27.pdf