1: \begin{abstract}

2: 	Relating formal grammars is a hard problem that balances between language equivalence (which is known

3: 	to be undecidable) and grammar identity (which is trivial). In this paper, we investigate

4: 	several milestones between those two extremes and propose a methodology for inconsistency management

5: 	in grammar engineering. While conventional grammar convergence is a practical approach relying on human

6: 	experts to encode differences as transformation steps, guided grammar convergence

7: 	is a more narrowly applicable technique that infers such transformation steps automatically by

8: 	normalising the grammars and establishing a structural equivalence relation between them.

9: 	This allows us to perform a case study with automatically inferring bidirectional transformations between

10: 	11 grammars (in a broad sense) of the same artificial functional language: parser specifications with

11: 	different combinator libraries, definite clause grammars, concrete syntax definitions, algebraic data types,

12: 	metamodels, XML schemata, object models.

13: \end{abstract}

14: