On the Equivalence of Automata for KAT-expressions
From MaRDI portal
Publication:5175879
DOI10.1007/978-3-319-08019-2_8zbMath1432.68218OpenAlexW50478018MaRDI QIDQ5175879
António Machiavelo, Nelma Moreira, Sabine Broda, Rogério Reis
Publication date: 25 February 2015
Published in: Language, Life, Limits (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-08019-2_8
Formal languages and automata (68Q45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Deciding Synchronous Kleene Algebra with Derivatives ⋮ Deciding Kleene algebra terms equivalence in Coq
This page was built for publication: On the Equivalence of Automata for KAT-expressions