4 ms·
Because he was writing for a specific class of predetermined parsers, rather than an arbitrary one which was optimized for his proof.
by Retra 8y ago
Because he was writing for a specific class of predetermined parsers, rather than an arbitrary one which was optimized for his proof.