Browsable ATerms Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: meta/syntax/terms/aterms/rascal/extracted
Source used for this grammar: Jurgen Vinju, lang::aterm::syntax::ATerm, 11 January 2012 [GitHub]

Summary

• Total 16 production rules with 16 top alternatives and 95 symbols.
• Vocabulary: 38 = 9 nonterminals + 13 terminals + 16 labels + 0 markers.
• Total 9 nonterminal symbols: 6 defined (RealCon, IntCon, AFun, Annotation, ATerm, OptExp), 0 root (—), 0 top (—), 3 bottom (StrCon, IdCon, NatCon ⁴).
• Total 13 terminal symbols: 0 keywords (—), 1 letters ("e"), 0 numerics (—), 12 signs (".", "+", "-", "{", "," ³, "}", "(", ")", "[", "]", "<", ">").
• Total 16 labels: [RealCon], [Positive], [Natural], [Negative], [Quoted], [Unquoted], [Default], [Appl], [Real], [List], [Annotated], [Placeholder], [Int], [Fun], [Present], [Absent].

Syntax

RealCon ::=
	[RealCon]::(IntCon "." NatCon OptExp)

IntCon ::=
	[Positive]::("+" NatCon)

IntCon ::=
	[Natural]::NatCon

IntCon ::=
	[Negative]::("-" NatCon)

AFun ::=
	[Quoted]::StrCon

AFun ::=
	[Unquoted]::IdCon

Annotation ::=
	[Default]::("{" {ATerm ","}+ "}")

ATerm ::=
	[Appl]::(AFun "(" {ATerm ","}+ ")")

ATerm ::=
	[Real]::RealCon

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

ATerm ::=
	[Annotated]::(ATerm Annotation)

ATerm ::=
	[Placeholder]::("<" ATerm ">")

ATerm ::=
	[Int]::IntCon

ATerm ::=
	[Fun]::AFun

OptExp ::=
	[Present]::("e" IntCon)

OptExp ::=
	[Absent]::ε

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