Typed linear algebra for weigthed (probabilistic) automata

DOI10.1007/978-3-642-31606-7_5zbMATH Open1297.68161OpenAlexW2122115222MaRDI QIDQ2914693FDOQ2914693

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bisimulation through probabilistic testing
• Bisimulation relations for weighted automata
• Towards a linear algebra of programming
• Exercises in Quantifier Manipulation
• A coalgebraic perspective on linear weighted automata
• Title not available (Why is that?)
• Abstraction, Refinement and Proof for Probabilistic Systems
• FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
• Matrices as arrows! A biproduct approach to typed linear algebra
• Weighted automata and weighted logics
• A probability perspective
• Matrices, machines and behaviors
• Just do it

Cited In (5)

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

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)