\input zb-basic
\input zb-ioport
\iteman{io-port 06084447}
\itemau{Oliveira, Jos\'e N.}
\itemti{Typed linear algebra for weigthed (probabilistic) automata.}
\itemso{Moreira, Nelma (ed.) et al., Implementation and application of automata. 17th international conference, CIAA 2012, Porto, Portugal, July 17--20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31605-0/pbk). Lecture Notes in Computer Science 7381, 52-65 (2012).}
\itemab
Summary: There is a need for a language able to reconcile the recent upsurge of interest in quantitative methods in the software sciences with logic and set theory that have been used for so many years in capturing the qualitative aspects of the same body of knowledge. Such a lingua franca should be typed, polymorphic, diagrammatic, calculational and easy to blend with traditional notation. This paper puts forward typed linear algebra (LA) as a candidate notation for such a role. Typed LA emerges from regarding matrices as morphisms of suitable categories whereby traditional linear algebra is equipped with a type system. In this paper we show typed LA at work in describing weighted (probabilistic) automata. Some attention is paid to the interface between the index-free language of matrix combinators and the corresponding index-wise notation, so as to blend with traditional set theoretic notation.
\itemrv{~}
\itemcc{}
\itemut{weighted automata; linear algebra; categories of matrices}
\itemli{doi:10.1007/978-3-642-31606-7\_5}
\end