Skip to content
Show report in:

UMINF 17.03

Derivatives of Regular Expressions with Cuts

Derivatives of regular expressions are an operation which for a given expression produces an expression for what remains after a specific symbol has been read. This can be used as a step in the process of transforming an expression into a finite string automaton. Cuts are an extension of the ordinary regular expressions; the cut operator is essentially a concatenation without backtracking, formalising a behaviour found in many programming languages. Just as for concatenation, we can also define an iterated cut operator. We show and derive expressions for the derivatives of regular expressions with cuts and iterated cuts.


No keywords specified


Niklas Zechner

Back Edit this report
Entry responsible: Account Deleted - might not work

Page Responsible: Frank Drewes