Derivatives for Enhanced Regular Expressions

DOI10.1007/978-3-319-40946-7_24zbMath1475.68167arXiv1605.00817OpenAlexW2346151386MaRDI QIDQ2830228

Peter Thiemann

Publication date: 9 November 2016

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1605.00817

zbMATH Keywords

derivativesregular languagesautomata and logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items

Partial Derivatives for Context-Free Languages

Uses Software

• MSO_Regex_Equivalence

Cites Work

• Unnamed Item
• Partial derivatives of regular expressions and finite automaton constructions
• Forkable Regular Expressions
• Derivatives for Regular Shuffle Expressions
• A general framework for the derivation of regular expressions
• Approximate Regular Expressions and Their Derivatives
• Multi-Tilde-Bar Derivatives
• Partial Derivatives of an Extended Regular Expression
• Regular-expression derivatives re-examined
• Parsing with derivatives
• The Average Transition Complexity of Glushkov and Partial Derivative Automata
• Verified decision procedures for MSO on words based on derivatives of regular expressions
• Algebra and Coalgebra in Computer Science
• Derivatives of Regular Expressions