[nsajko]

Too bad there's no chain rule for derivatives of (weighted) regular expressions!

[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.