Browsable FL Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: toy/fl/abstract/rascal/extracted
Source used for this grammar: Vadim Zaytsev, Abstract.rsc, Jun 2012 [GitHub]

Summary

• Total 4 production rules with 10 top alternatives and 58 symbols.
• Vocabulary: 28 = 5 nonterminals + 0 terminals + 23 labels + 0 markers.
• Total 5 nonterminal symbols: 4 defined (FLPrg, FLFun, FLExpr, FLOp), 0 root (—), 1 top (FLPrg), 1 bottom (str).
• Total 23 labels: [fs], [prg], [f] ², [args], [body], [fun], [e1], [op], [e2], [binary], [vargs], [apply], [c], [t], [e], [ifThenElse], [a], [argument], [i], [literal], [minus], [plus], [equal].

Syntax

FLPrg ::=
	[prg]::[fs]::FLFun*

FLFun ::=
	[fun]::([f]::string [args]::str* [body]::FLExpr)

FLExpr ::=
	[binary]::([e1]::FLExpr [op]::FLOp [e2]::FLExpr)
	[apply]::([f]::string [vargs]::FLExpr*)
	[ifThenElse]::([c]::FLExpr [t]::FLExpr [e]::FLExpr)
	[argument]::[a]::string
	[literal]::[i]::integer

FLOp ::=
	[minus]::ε
	[plus]::ε
	[equal]::ε

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