[mcovalt]

A weighted automata can be expressed as a sparse matrix and the matrix-vector product can be used to traverse the states. I think you could get a derivative out of that.