Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces a novel comonadic framework for representing and composing context-dependent morphophonological rules, specifically addressing challenges like state explosion in FST-based approaches. The core innovation is the "Writer comonad" which enables compositional handling of length-changing rules via coKleisli arrows, avoiding intermediate materialization. Results show a significant reduction in rule representation complexity compared to existing systems like Omorfi (67:1) and demonstrates practical viability with 83.92% UPOS accuracy on UD Finnish-TDT using rule-only disambiguation.
Finnish morphology gets a functional facelift: a new comonadic approach slashes rule complexity by 67x while achieving competitive accuracy.
Composing finite-state transducers (FSTs) for context-dependent morphophonological rules -- consonant gradation, vowel harmony, possessive suffix assimilation -- leads to multiplicative state explosion; neural models sidestep the problem but provide no formal account of the rules themselves. We present the first framework where each morphophonological rule is a function from a focused local context to a single output segment -- the type of a local rule familiar from cellular automata -- and where length-changing rules compose as coKleisli arrows of a comonad. Our central contribution is the Writer comonad (DeletionSet x Zipper), a new algebraic construction that restores strict coKleisli compositionality for such rules: each rule is a coKleisli arrow, extend lifts it to a global transformation, and deletions accumulate as a monoid action rather than requiring intermediate materialization. As supporting evidence, thirteen coKleisli arrows provide an alternative formulation expressing the same morphophonological behaviors that Omorfi encodes via 874 continuation classes (67:1 reduction at the rule-representation level), and the same abstraction enables bidirectional morphology -- a MorphGenerator reuses the analysis arrows for generation. On UD Finnish-TDT, the system achieves 83.92% UPOS accuracy with rule-only disambiguation (94.66% with an external suffix tagger), validating the framework as a practical morphological engine.