On the Expressivity of Optimality Theory versus Ordered Rewrite Rules

DOI10.1007/978-3-642-39998-5_9MaRDI QIDQ5327378zbMATH OpenOpenAlexFDO

Authors Brian Buccola

Publication date 7 August 2013

Published in Formal Grammar (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39998-5_9

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Linguistics (91F20)

Recommendations

• Optimization of rewrite theories by equational partial evaluation
• Optimization of rewriting and complexity of rewriting
• Deciding the confluence of ordered term rewrite systems
• scientific article; zbMATH DE number 1722704
• Completeness and confluence of order-sorted term rewriting
• Ordinal theory for expressiveness of well-structured transition systems
• Ordinal theory for expressiveness of well structured transition systems
• A semantic approach to order-sorted rewriting
• A semantic approach to order-sorted rewriting
• Rewriting optimization statements in answer-set programs

Cited in

(3)

• Idempotency, output-drivenness and the faithfulness triangle inequality: some consequences of McCarthy's (2003) categoricity generalization
• A note on phonological similarity in Tesar's (2014) theory of output-drivenness
• Could orders be captured by term rewriting systems?

This page was built for publication: On the Expressivity of Optimality Theory versus Ordered Rewrite Rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5327378)