Simplifying regular expressions further

DOI10.1016/j.jsc.2021.08.003OpenAlexW3196931266MaRDI QIDQ820947

Stefan Kahrs, Colin Runciman

Publication date: 29 September 2021

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2021.08.003

zbMATH Keywords

regular expressionalgebraic simplificationsemantic simplification

Mathematics Subject Classification ID

Word problems, etc. in computability and recursion theory (03D40)

Uses Software

• Haskell

Cites Work

• Partial derivatives of regular expressions and finite automaton constructions
• Uniform random generation of expressions respecting algebraic identities
• Regular expression simplification
• Uniform Random Generation of Strings in a Context-Free Language
• Simplifying Regular Expressions
• Two Complete Axiom Systems for the Algebra of Regular Events
• Derivatives of Regular Expressions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item