Decidability
metric
ID: decidability
Related Papers
OT Syntax – Decidability of Generation-based Optimization
In Optimality-Theoretic Syntax, optimiza- tion with unrestricted expressive power on the side of the OT constraints is unde- cidable. This paper provides a proof for the decidability of optimization based …...