4 ms·
The paper introducing this concept is [1] but was long forgotten. Recently the use of derivations to implement regular expressions has become popular again, see
by mafribe 11y ago
The paper introducing this concept is [1] but was long forgotten. Recently the use of derivations to implement regular expressions has become popular again, see e.g. [2].
[1] J. A. Brzozowski's, "Derivatives of Regular Expressions", https://dl.acm.org/citation.cfm?id=321249 https://dl.acm.org/citation.cfm?id=321249
[2] https://www.cl.cam.ac.uk/~so294/documents/jfp09.pdf https://www.cl.cam.ac.uk/~so294/documents/jfp09.pdf
- sjolsen 11y ago>Recently the use of derivations to implement regular expressions has become popular again And they're not limited to regular languages; with the right computational tricks (lazy evaluation, coinduction, whatever you want to call it), it can be used with context-free languages in general: http://matt.might.net/papers/might2011derivatives.pdf http://matt.might.net/papers/might2011derivatives.pdf
- deleted 11y ago[deleted]