Browsable FL Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: toy/fl/concrete/dcg/extracted
Source used for this grammar: Ralf Lämmel, Parser.pro, 28 July – 3 September 2008 [GitHub]

Summary

• Total 11 production rules with 11 top alternatives and 66 symbols.
• Vocabulary: 25 = 8 nonterminals + 9 terminals + 8 labels + 0 markers.
• Total 8 nonterminal symbols: 5 defined (program, function, expr, atom, ops), 0 root (—), 1 top (program), 3 bottom (newline, int, name ⁴).
• Total 9 terminal symbols: 3 keywords ("if", "then", "else"), 0 letters (—), 0 numerics (—), 6 signs ("=", "(", ")", "==", "+", "-").
• Total 8 labels: [binary], [apply], [ifThenElse], [literal], [argument], [equal], [plus], [minus].

Syntax

program ::=
	function+

function ::=
	name name+ "=" expr newline+

expr ::=
	[binary]::(atom (ops atom)*)

expr ::=
	[apply]::(name atom+)

expr ::=
	[ifThenElse]::("if" expr "then" expr "else" expr)

atom ::=
	[literal]::int

atom ::=
	[argument]::name

atom ::=
	"(" expr ")"

ops ::=
	[equal]::"=="

ops ::=
	[plus]::"+"

ops ::=
	[minus]::"-"

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