feat: define the `Transducer` class as recognizing a function from input strings to weights#286

Draft

LiamSchilling wants to merge 13 commits intoleanprover:mainfrom

LiamSchilling:transducers

Commits on Jan 24, 2026

feat: define the transducer class as recognizing a function from input strings to weights from a `Semigroup`
LiamSchilling
committed
add reference for weighted automata; name section for PR
LiamSchilling
committed

Commits on Jan 25, 2026

feat: redefine `Transducer` to allow both a left-associative and right-associative implementation
LiamSchilling
committed
feat: define the type `DetTransducer` for typical determinstic FSTs and implement a `Transducer` instance
LiamSchilling
committed
feat: define the type `Bimachine` of bimachines and implement a `Transducer` instance
LiamSchilling
committed

Commits on Jan 26, 2026

fix: one docstring and introduce missing variable decls and
LiamSchilling
committed