Typed linear algebra for weigthed (probabilistic) automata Capítulo de livro