"RE2"@en . . . . . "RE2 is a software library for regular expressions via a finite-state machine using automata theory, in contrast to almost all other regular expression libraries, which use backtracking implementations. It provides a C++ interface.RE2 was implemented and is used by Google."@en . .