Translation of semi-extended regular expressions using derivatives

DOI10.1007/978-3-031-71112-1_17MaRDI QIDQ6666801

E. Renault, Antoine Martin, Alexandre Duret-Lutz

Publication date: 20 January 2025

zbMATH Keywords

automataderivativeregular expressionsSVAPSL

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Partial derivatives of regular expressions and finite automaton constructions
• Complementing deterministic Büchi automata in polynomial time
• Propositional dynamic logic of regular programs
• Two routes to automata minimization and the ways to reach it efficiently
• Partial Derivatives of an Extended Regular Expression
• On the minimization problem for ω-automata
• Minimization of symbolic automata
• Derivatives of Regular Expressions
• From Spot 2.0 to Spot 2.10: What’s New?

This page was built for publication: Translation of semi-extended regular expressions using derivatives

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