Browsable LCF Grammar

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

Summary

• Total 7 production rules with 17 top alternatives and 112 symbols.
• Vocabulary: 37 = 8 nonterminals + 0 terminals + 29 labels + 0 markers.
• Total 8 nonterminal symbols: 7 defined (configuration, actiontype, shortcuttype, expansion, commandtype, sourcetype, targettype), 1 root (configuration), 0 top (—), 1 bottom (mixedType).
• Total 29 labels: [shortcut], [comment] ², [action], [source], [target], [name] ⁴, [command] ³, [definition] ², [expand], [expand-type], [expand-arguments], [expand-source], [expand-action], [expand-first], [expand-second], [expand-context], [expand-sample], [expand-parsed], [expand-yields], [err], [out], [type], [argument], [arguments], [parser], [evaluator], [take], [perform], [branch].

Syntax

configuration ::=
	([shortcut]::shortcuttype | [comment]::mixedType | [action]::actiontype | [source]::sourcetype | [target]::targettype)*

actiontype ::=
	[comment]::string? [name]::string+ [definition]::[command]::commandtype+

shortcuttype ::=
	[name]::string [definition]::(expansion | string)*

expansion ::=
	[expand]::string
	[expand-type]::ε
	[expand-arguments]::ε
	[expand-source]::ε
	[expand-action]::ε
	[expand-first]::ε
	[expand-second]::ε
	[expand-context]::ε
	[expand-sample]::ε
	[expand-parsed]::ε
	[expand-yields]::ε

commandtype ::=
	(expansion | string)* [err]::string? [out]::string?

sourcetype ::=
	[name]::string [type]::string [arguments]::[argument]::(expansion | string)*+ [parser]::[command]::commandtype+? [evaluator]::[command]::commandtype+?

targettype ::=
	[name]::string [branch]::([take]::string [perform]::string*)+

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