Browsable LCF Grammar

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

Summary

• Total 11 production rules with 18 top alternatives and 124 symbols.
• Vocabulary: 39 = 11 nonterminals + 0 terminals + 28 labels + 0 markers.
• Total 11 nonterminal symbols: 11 defined (configuration, definition, shortcutType, generatorType, sourceType, targetType, phaseType, testsetType, toolType, tool, xstring), 1 root (configuration), 0 top (—), 0 bottom (—).
• Total 28 labels: [shortcut], [generator], [tool], [source], [target], [testset], [name] ⁶, [expansion], [command] ², [extraction] ², [parsing], [evaluation] ², [grammar] ², [tree] ², [set], [testing], [input], [postextraction], [synchronization], [transformation] ², [branch], [perform], [method], [result], [automated], [validation], [comparison], [expand].

Syntax

configuration ::=
	definition*

definition ::=
	[shortcut]::shortcutType
	[generator]::generatorType
	[tool]::toolType
	[source]::sourceType
	[target]::targetType
	[testset]::testsetType

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

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

sourceType ::=
	[name]::string [grammar]::([extraction]::xstring [parsing]::xstring? [evaluation]::xstring?) [tree]::([extraction]::xstring [evaluation]::xstring?)? [testing]::[set]::xstring?

targetType ::=
	[name]::string [branch]::([input]::string [postextraction]::phaseType? [synchronization]::phaseType? [transformation]::phaseType?)+

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

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

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

tool ::=
	[validation]::ε
	[comparison]::ε
	[transformation]::ε

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

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