Browsable LCF Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: markup/scientific/lcf/v29.0-xsd/extracted
Source used for this grammar: Vadim Zaytsev, Software Language Processing Suite, LCF, shared/xsd/lcf.xsd, 2008–2011, Version 29 [Explore]

Summary

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

Syntax

configuration ::=
	[shortcut]::shortcut* [tools]::tools [source]::source+ [target]::target+ [testset]::testset*

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

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

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

source ::=
	[name]::string [derived]::([from]::string [using]::string)? [grammar]::([extraction]::xstring [parsing]::xstring? [evaluation]::xstring?) [tree]::([extraction]::xstring [evaluation]::xstring?)? [testing]::[set]::xstring+?

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

phase ::=
	([perform]::string | [automated]::([method]::string [result]::string))+

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

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

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

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