Partial Derivative Automaton for Regular Expressions with Shuffle
From MaRDI portal
Publication:5500676
DOI10.1007/978-3-319-19225-3_2zbMath1390.68377arXiv1503.00279OpenAlexW1593644825MaRDI QIDQ5500676
António Machiavelo, Sabine Broda, Rogério Reis, Nelma Moreira
Publication date: 7 August 2015
Published in: Descriptional Complexity of Formal Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1503.00279
Related Items (4)
Deciding Synchronous Kleene Algebra with Derivatives ⋮ Derivatives and partial derivatives for regular shuffle expressions ⋮ Reordering Derivatives of Trace Closures of Regular Languages. ⋮ On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection
This page was built for publication: Partial Derivative Automaton for Regular Expressions with Shuffle