5 ms·
From the title I expected this to be about differentiating DCG grammars themselves. That is actually a technique for matching regular expression [1]; now I wond
by colanderman 2y ago
From the title I expected this to be about differentiating DCG grammars themselves. That is actually a technique for matching regular expression [1]; now I wonder can it also be applied to DCGs (or a restricted form like PEGs).
[1] https://en.wikipedia.org/wiki/Brzozowski_derivative https://en.wikipedia.org/wiki/Brzozowski_derivative