2010/10/13 by Andrea Asperti, Asperti, Andrea, Claudio Sacerdoti Coen +3
Computer Science · Mathematics · #semigroups and automata theory #Geometric and Algebraic Topology #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.1010.2604
We introduce a new technique for constructing a finite state deterministic automaton from a regular expression, based on the idea of marking a suitable set of positions inside the expression, intuitively representing the possible points reached after the processing of an initial prefix of the input string. Pointed regular expressions join the elegance and the symbolic appealingness of Brzozowski's derivatives, with the effectiveness of McNaughton and Yamada's labelling technique, essentially combining the best of the two approaches.