Free description of the Kameda-Weiner algorithm?
Brzozowski's paper on arXiv might have a full account of the algorithm. He's one of the pioneers in what I've termed the &quot;algebraic approach&quot; for formal language and automata theory - best known for invoking the &quot;Brzozowski derivative&quot; (aka left-quotient) to describe the state transition of a regular language in algebraic terms. It's the same operation that we used in producing a dramatically simpler proof of Parikh's theorem in 1999. For commutative Kleene algebras, the operator actually is a derivative operator complete with its own version of Taylor's Theorem.
In the paper, https://arxiv.org/abs/1301.5585, Brzozowski brings the derivative/quotient infrastructure to bear; but from a casual reading of the paper, I can't tell if he's described the Kameda-Weiner method in full generality or not.