Browsable ATerms Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: meta/syntax/terms/aterms/sdf/extracted
Source used for this grammar: Jurgen Vinju, Bas Basten, aterm/syntax/*.sdf, February 2006 – January 2009

Summary

• Total 16 production rules with 16 top alternatives and 101 symbols.
• Vocabulary: 33 = 9 nonterminals + 13 terminals + 11 labels + 0 markers.
• Total 9 nonterminal symbols: 6 defined (AFun, ATerm, Annotation, IntCon, OptExp, RealCon), 0 root (—), 0 top (—), 3 bottom (StrCon, IdCon, NatCon ⁴).
• Total 13 terminal symbols: 0 keywords (—), 1 letters ("e"), 0 numerics (—), 12 signs ("(", "," ³, ")", "<", ">", "[", "]", "{", "}", "+", "-", ".").
• Total 11 labels: [fun] ², [args], [type], [elems], [trm], [annos], [pos], [neg], [base], [decimal], [exp].

Syntax

AFun ::=
	StrCon

AFun ::=
	IdCon

ATerm ::=
	IntCon

ATerm ::=
	RealCon

ATerm ::=
	[fun]::AFun

ATerm ::=
	[fun]::AFun "(" [args]::(ATerm ("," ATerm)*) ")"

ATerm ::=
	"<" [type]::ATerm ">"

ATerm ::=
	"[" [elems]::(ATerm ("," ATerm)*)? "]"

ATerm ::=
	[trm]::ATerm Annotation

Annotation ::=
	"{" [annos]::(ATerm ("," ATerm)*) "}"

IntCon ::=
	NatCon

IntCon ::=
	[pos]::"+" NatCon

IntCon ::=
	[neg]::"-" NatCon

OptExp ::=
	"e" IntCon

OptExp ::=
	ε

RealCon ::=
	[base]::IntCon "." [decimal]::NatCon [exp]::OptExp

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