Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Logic Characterization of Floyd Languages   Floyd languages (FL), alias Operator Precedence Languages, have recently
received renewed attention thanks to their closure properties and local
parsability which allow one to apply automatic verification techniques (e.g.
model checking) and parallel and incremental parsing. They properly include
various other classes, noticeably Visual Pushdown languages. In this paper we
provide a characterization of FL in terms a monadic second order logic (MSO),
in the same style as Buchi's one for regular languages. We prove the
equivalence between automata recognizing FL and the MSO formalization.

25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph
11
The categories of this paper are: hep-lat
23
The categories of this paper are: solv-int
20
The categories of this paper are: acc-phys
6
The categories of this paper are: astro-ph
16
The categories of this paper are: stat
5
The categories of this paper are: gr-qc
7
The categories of this paper are: hep-th
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math
31
The categories of this paper are: ao-sci
37
The categories of this paper are: supr-con
26
The categories of this paper are: bayes-an
12
The categories of this paper are: nucl-th
19
The categories of this paper are: eess