计算音系学中优化理论的恰当处理

本文提出了一种优化理论的新形式化方法。与计算语言学中此前对优化理论的处理不同——从 Ellison（1994）开始——新方法不需要任何显式的约束违反标记和计数。它基于"宽松组合"的概念，定义为普通组合与优先级并集的组合。如果一个底层形式具有能够满足给定约束的输出，宽松组合强制执行该约束；如果没有任何输出候选能够满足该约束，宽松组合允许所有候选。为了提高效率，我们可以将 GEN 关系和所有约束"宽松地组合"成一个有限状态转换器，该转换器将每个底层形式直接映射到其最优表面实现，反之亦然，而从不产生任何失败候选。从这一视角来看，优化理论与两种更古老的有限状态音系学流派惊人地相似：经典重写规则和双层级模型。特别是，优化约束的排序对应于重写规则的排序。