On the Average Size of Glushkov and Equation Automata for KAT Expressions

DOI10.1007/978-3-642-40164-0_10zbMath1351.68136OpenAlexW2116859499MaRDI QIDQ2842774

Sabine Broda, Rogério Reis, Nelma Moreira, António Machiavelo

Publication date: 16 August 2013

Published in: Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40164-0_10

zbMATH Keywords

Kleene algebra with testsGlushkov automatonequation automatatwo constructions of automata from KAT expressions

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (5)

Weighted synchronous automata ⋮ Deciding Synchronous Kleene Algebra with Derivatives ⋮ Random Regular Expression Over Huge Alphabets ⋮ Introducing synchrony in fuzzy automata ⋮ Deciding Kleene algebra terms equivalence in Coq

This page was built for publication: On the Average Size of Glushkov and Equation Automata for KAT Expressions