Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: From Regexes to Parsing Expression Grammars   Most scripting languages nowadays use regex pattern-matching libraries. These
regex libraries borrow the syntax of regular expressions, but have an informal
semantics that is different from the semantics of regular expressions, removing
the commutativity of alternation and adding ad-hoc extensions that cannot be
expressed by formalisms for efficient recognition of regular languages, such as
deterministic finite automata.
  Parsing Expression Grammars are a formalism that can describe all
deterministic context-free languages and has a simple computational model. In
this paper, we present a formalization of regexes via transformation to Parsing
Expression Grammars. The proposed transformation easily accommodates several of
the common regex extensions, giving a formal meaning to them. It also provides
a clear computational model that helps to estimate the efficiency of
regex-based matchers, and a basis for specifying provably correct optimizations
for them.

25
The categories of this paper are: patt-sol
19
The categories of this paper are: eess
33
The categories of this paper are: plasm-ph
37
The categories of this paper are: supr-con
17
The categories of this paper are: q-fin
26
The categories of this paper are: bayes-an
24
The categories of this paper are: dg-ga
2
The categories of this paper are: math
28
The categories of this paper are: alg-geom
11
The categories of this paper are: hep-lat
21
The categories of this paper are: adap-org
22
The categories of this paper are: chao-dyn
15
The categories of this paper are: nucl-ex
23
The categories of this paper are: solv-int
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph