Partial derivatives of regular expressions and finite automata constructions
From MaRDI portal
Publication:4596644
DOI10.1007/3-540-59042-0_96zbMath1379.68209OpenAlexW2008279674MaRDI QIDQ4596644
Publication date: 4 December 2017
Published in: STACS 95 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-59042-0_96
Related Items (6)
Construction of a Deterministicω-Automaton Using Derivatives ⋮ Rewriting regular inequalities ⋮ Automated temporal verification for algebraic effects ⋮ A synchronous effects logic for temporal verification of pure Esterel ⋮ Partial derivatives of regular expressions and finite automaton constructions ⋮ Analysis of an efficient reduction algorithm for random regular expressions based on universality detection
This page was built for publication: Partial derivatives of regular expressions and finite automata constructions
