12Elapsed: 3.028 sec, read 27.55 million rows, 209.01 MB.
But it gives you a basic idea of what's going on in amazing software like Live++ (and malware, and anti-virus garbage which is essentially malware)! These basic principles also apply to Windows and Linux, where similar system APIs are available.
，更多细节参见PDF资料
of course this rabbit hole goes deeper, and we have a paper using this technique for string constraint solving that i’d love to derail this post into, but i’ll save that for another time. the main point is that symbolic derivatives are a more powerful and efficient generalization of Brzozowski’s original idea, and they form the core of the new RE# engine. fun fact: symbolic derivatives are also implemented in Z3 (the SMT solver) for its sequence theory - so in some sense we’re inching closer to having an SMT solver’s core machinery inside a regex engine.
外面有传言，我挣了很多钱，说我的流量就是钱。我已经说明过，已知我挣到的钱是0。我不敢谈热爱，说这些又好像有理想化的倾向，我只能说我作为普通读者，有一点洁癖。。业内人士推荐新收录的资料作为进阶阅读
Фото: Serguei Fomine / Global Look Press
Владислав Уткин。关于这个话题，新收录的资料提供了深入分析