Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Regular Expression Matching and Operational Semantics   Many programming languages and tools, ranging from grep to the Java String
library, contain regular expression matchers. Rather than first translating a
regular expression into a deterministic finite automaton, such implementations
typically match the regular expression on the fly. Thus they can be seen as
virtual machines interpreting the regular expression much as if it were a
program with some non-deterministic constructs such as the Kleene star. We
formalize this implementation technique for regular expression matching using
operational semantics. Specifically, we derive a series of abstract machines,
moving from the abstract definition of matching to increasingly realistic
machines. First a continuation is added to the operational semantics to
describe what remains to be matched after the current expression. Next, we
represent the expression as a data structure using pointers, which enables
redundant searches to be eliminated via testing for pointer equality. From
there, we arrive both at Thompson's lockstep construction and a machine that
performs some operations in parallel, suitable for implementation on a large
number of cores, such as a GPU. We formalize the parallel machine using process
algebra and report some preliminary experiments with an implementation on a
graphics processor using CUDA.

3
The categories of this paper are: physics
0
The categories of this paper are: hep-ph
19
The categories of this paper are: eess
11
The categories of this paper are: hep-lat
36
The categories of this paper are: cmp-lg
2
The categories of this paper are: math
26
The categories of this paper are: bayes-an
23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol
8
The categories of this paper are: hep-ex
34
The categories of this paper are: chem-ph
37
The categories of this paper are: supr-con
28
The categories of this paper are: alg-geom
18
The categories of this paper are: econ
31
The categories of this paper are: ao-sci
10
The categories of this paper are: q-bio