Browsable FL Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: toy/fl/abstract/emf/ecore/extracted
Source used for this grammar: Guido Wachsmuth, Vadim Zaytsev, fl.ecore, 26 June 2008 – 28 May 2009 [GitHub]

Summary

• Total 12 production rules with 18 top alternatives and 79 symbols.
• Vocabulary: 22 = 12 nonterminals + 0 terminals + 10 labels + 0 markers.
• Total 12 nonterminal symbols: 12 defined (Program, Function, Argument, Exp, LiteralExp, ArgumentExp, IfThenElseExp, ApplyExp, BinaryExp, PlusExp, MinusExp, EqualExp), 0 root (—), 1 top (Program), 0 bottom (—).
• Total 10 labels: [function] ², [name] ², [argument] ³, [definition], [value], [if], [then], [else], [left] ³, [right] ³.

Syntax

Program ::=
	[function]::Function+

Function ::=
	[name]::string [argument]::Argument+ [definition]::Exp

Argument ::=
	[name]::string

Exp ::=
	LiteralExp
	ArgumentExp
	IfThenElseExp
	ApplyExp
	BinaryExp

LiteralExp ::=
	[value]::integer

ArgumentExp ::=
	[argument]::Argument

IfThenElseExp ::=
	[if]::Exp [then]::Exp [else]::Exp

ApplyExp ::=
	[function]::Function [argument]::Exp+

BinaryExp ::=
	PlusExp
	MinusExp
	EqualExp

PlusExp ::=
	[left]::Exp [right]::Exp

MinusExp ::=
	[left]::Exp [right]::Exp

EqualExp ::=
	[left]::Exp [right]::Exp

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