Browsable LCF Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: markup/scientific/lcf/readable/extracted
Source used for this grammar: Vadim Zaytsev, Software Language Processing Suite, LCF, shared/xsd/lcf.xsd, 2008–2011, readable version

Summary

• Total 15 production rules with 15 top alternatives and 146 symbols.
• Vocabulary: 42 = 15 nonterminals + 0 terminals + 27 labels + 0 markers.
• Total 15 nonterminal symbols: 15 defined (scenario, tools, shortcut, generator, source, target, phase, testset, tool, xstring, derived, source-grammar, source-tree, branch, automated-transformation), 1 root (scenario), 0 top (—), 0 bottom (—).
• Total 27 labels: [transformer], [comparator], [validator], [name] ⁵, [expansion], [command] ², [test-set], [perform-transformation], [step], [grammar], [tree], [expand], [from], [using], [extraction] ², [parsing], [evaluation] ², [input], [preparation], [nominal-matching], [normalizing], [structural-matching], [extension], [correction], [relaxation], [method], [result].

Syntax

scenario ::=
	shortcut* tools source+ target+ testset*

tools ::=
	[transformer]::tool [comparator]::tool [validator]::tool? generator*

shortcut ::=
	[name]::string [expansion]::xstring

generator ::=
	[name]::string [command]::xstring

source ::=
	[name]::string derived? source-grammar source-tree? [test-set]::xstring*

target ::=
	[name]::string branch+

phase ::=
	[step]::([perform-transformation]::string | automated-transformation)+

testset ::=
	[name]::string [command]::xstring

tool ::=
	[grammar]::xstring [tree]::xstring?

xstring ::=
	([expand]::string | string)*

derived ::=
	[from]::string [using]::string

source-grammar ::=
	[extraction]::xstring [parsing]::xstring? [evaluation]::xstring?

source-tree ::=
	[extraction]::xstring [evaluation]::xstring?

branch ::=
	[input]::string [preparation]::phase? [nominal-matching]::phase? [normalizing]::phase? [structural-matching]::phase? ([extension]::phase | [correction]::phase | [relaxation]::phase)*

automated-transformation ::=
	[method]::string [result]::string

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]