Typed linear algebra for weigthed (probabilistic) automata

DOI10.1007/978-3-642-31606-7_5MaRDI QIDQ2914693zbMATH OpenOpenAlexFDO

Authors J. N. Oliveira

Publication date 20 September 2012

Published in Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1822/24671

zbMATH Keywords

linear algebraweighted automatacategories of matrices

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Matrices over special rings (quaternions, finite fields, etc.) (15B33) Algebraic theory of languages and automata (68Q70) Special categories (18B99)

Recommendations

• Weighted automata as coalgebras in categories of matrices
• A coalgebraic perspective on linear weighted automata
• Towards a linear algebra of programming
• A type system for weighted automata and rational expressions
• A type system for the vectorial aspect of the linear-algebraic lambda-calculus

Cites work

• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 2230055 (Why is no real title available?)
• A coalgebraic perspective on linear weighted automata
• A probability perspective
• Abstraction, Refinement and Proof for Probabilistic Systems
• Bisimulation relations for weighted automata
• Bisimulation through probabilistic testing
• Exercises in Quantifier Manipulation
• FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
• Just do it
• Matrices as arrows! A biproduct approach to typed linear algebra
• Matrices, machines and behaviors
• Towards a linear algebra of programming
• Weighted automata and weighted logics

Cited in

(5)

• Weighted automata as coalgebras in categories of matrices
• Relational style laws and constructs of linear algebra
• Relations in linear algebra
• Matrices as arrows! A biproduct approach to typed linear algebra
• Towards a linear algebra of programming

This page was built for publication: Typed linear algebra for weigthed (probabilistic) automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2914693)