BibTeX

@article{zechner-2020-derivatives-303708,
	title        = {Derivatives of regular expressions with cuts},
	abstract     = {Derivatives of regular expressions are an operation which for a given expression pro-duces 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 au-tomaton. 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. © Institut für Informatik · Justus-Liebig-Universität Giessen.},
	journal      = {Journal of Automata, Languages and Combinatorics},
	author       = {Zechner, Niklas},
	year         = {2020},
	volume       = {25},
	number       = {4},
	pages        = {349--355},
}