Browsable LCF Grammar

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

Summary

• Total 7 production rules with 10 top alternatives and 90 symbols.
• Vocabulary: 27 = 7 nonterminals + 0 terminals + 20 labels + 0 markers.
• Total 7 nonterminal symbols: 7 defined (configuration, shortcutType, commandtype, sourceType, targetType, toolType, tools), 1 root (configuration), 0 top (—), 0 bottom (—).
• Total 20 labels: [shortcut], [tool], [source], [target], [name] ⁵, [expand] ⁴, [definition], [argument], [arguments], [extraction], [command] ³, [parsing], [evaluation], [input], [perform], [branch], [validation], [comparison], [testset], [transformation].

Syntax

configuration ::=
	([shortcut]::shortcutType | [tool]::toolType | [source]::sourceType | [target]::targetType)*

shortcutType ::=
	[name]::string [definition]::([expand]::string | string)*

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

sourceType ::=
	[name]::string [extraction]::([name]::([expand]::string | string)* [arguments]::[argument]::([expand]::string | string)*+) [parsing]::[command]::commandtype? [evaluation]::[command]::commandtype?

targetType ::=
	[name]::string [branch]::([input]::string [perform]::string*)+

toolType ::=
	[name]::tools [command]::commandtype

tools ::=
	[validation]::ε
	[comparison]::ε
	[testset]::ε
	[transformation]::ε

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