Browsable FL Grammar

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

Summary

• Total 11 production rules with 11 top alternatives and 80 symbols.
• Vocabulary: 40 = 6 nonterminals + 10 terminals + 24 labels + 0 markers.
• Total 6 nonterminal symbols: 4 defined (Program, Expr, Ops, Function), 0 root (—), 1 top (Program), 2 bottom (Int, Name ⁴).
• Total 10 terminal symbols: 3 keywords ("if", "then", "else"), 0 letters (—), 0 numerics (—), 6 signs ("(", ")", "+", "==", "-", "=").
• Total 24 labels: [functions], [prg], [cond], [thenbranch], [elsebranch], [ifThenElse], [e], [i], [literal], [a], [argument], [lexpr], [op], [rexpr], [binary], [f] ², [vargs], [apply], [plus], [equal], [minus], [args], [body], [fun].

Syntax

Program ::=
	[prg]::[functions]::{Function "\n"}+

Expr ::=
	[ifThenElse]::("if" [cond]::Expr "then" [thenbranch]::Expr "else" [elsebranch]::Expr)

Expr ::=
	"(" [e]::Expr ")"

Expr ::=
	[literal]::[i]::Int

Expr ::=
	[argument]::[a]::Name

Expr ::=
	[binary]::([lexpr]::Expr [op]::Ops [rexpr]::Expr)

Expr ::=
	[apply]::([f]::Name [vargs]::Expr+)

Ops ::=
	[plus]::"+"

Ops ::=
	[equal]::"=="

Ops ::=
	[minus]::"-"

Function ::=
	[fun]::([f]::Name [args]::Name+ "=" [body]::Expr)

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