Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Guided Grammar Convergence   Relating formal grammars is a hard problem that balances between language
equivalence (which is known to be undecidable) and grammar identity (which is
trivial). In this paper, we investigate several milestones between those two
extremes and propose a methodology for inconsistency management in grammar
engineering. While conventional grammar convergence is a practical approach
relying on human experts to encode differences as transformation steps, guided
grammar convergence is a more narrowly applicable technique that infers such
transformation steps automatically by normalising the grammars and establishing
a structural equivalence relation between them. This allows us to perform a
case study with automatically inferring bidirectional transformations between
11 grammars (in a broad sense) of the same artificial functional language:
parser specifications with different combinator libraries, definite clause
grammars, concrete syntax definitions, algebraic data types, metamodels, XML
schemata, object models.

30
The categories of this paper are: q-alg
33
The categories of this paper are: plasm-ph
24
The categories of this paper are: dg-ga
28
The categories of this paper are: alg-geom
14
The categories of this paper are: math-ph
26
The categories of this paper are: bayes-an
11
The categories of this paper are: hep-lat
16
The categories of this paper are: stat
9
The categories of this paper are: nlin
32
The categories of this paper are: atom-ph
21
The categories of this paper are: adap-org
31
The categories of this paper are: ao-sci
18
The categories of this paper are: econ
37
The categories of this paper are: supr-con
23
The categories of this paper are: solv-int
34
The categories of this paper are: chem-ph