Position Automata for Kleene Algebra with Tests

DOI10.7561/SACS.2012.2.367MaRDI QIDQ4621165zbMATH OpenFDO

Authors Alexandra Silva

Publication date 8 February 2019

Published in Scientific Annals of Computer Science (Search for Journal in Brave)

zbMATH Keywords

coalgebraKleene algebra with testsposition automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• Concurrent Kleene algebra with tests and branching automata
• On the Representation of Kleene Algebras with Tests
• scientific article; zbMATH DE number 1086671
• Concurrent Kleene algebra with tests
• An Axiomatization of Arrays for Kleene Algebra with Tests
• Mathematics of Program Construction
• A coalgebraic approach to Kleene algebra with tests
• A coalgebraic approach to Kleene algebra with tests
• On the coalgebraic theory of Kleene algebra with tests
• Symbolic algorithms for language equivalence and Kleene algebra with tests

Cited in

(6)

• On the equivalence of automata for KAT-expressions
• Deciding synchronous Kleene algebra with derivatives
• scientific article; zbMATH DE number 2208070 (Why is no real title available?)
• Symbolic algorithms for language equivalence and Kleene algebra with tests
• Nominal Kleene coalgebra
• On the average size of Glushkov and equation automata for KAT expressions

This page was built for publication: Position Automata for Kleene Algebra with Tests

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