Browsable Pico Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: toy/pico/unknown/rascal/extracted
Source used for this grammar: Jurgen Vinju, lang::pico::syntax::Main, 2011–2012 [Explore]

Summary

• Total 17 production rules with 17 top alternatives and 144 symbols.
• Vocabulary: 60 = 9 nonterminals + 22 terminals + 14 labels + 15 markers.
• Total 9 nonterminal symbols: 6 defined (Type, Statement, Program, Declarations, Expression, IdType), 1 root (Program), 0 top (—), 3 bottom (Id ³, String, Natural).
• Total 22 terminal symbols: 12 keywords ("natural", "string", "if" ², "then" ², "else", "fi" ², "while", "do", "od", "begin", "end", "declare"), 0 letters (—), 0 numerics (—), 9 signs (":=", ";" ⁶, ",", "(", ")", "||", "-", "+", ":").
• Total 14 labels: [natural], [nil], [string], [assign], [cond] ², [loop], [program], [strcon], [id], [natcon], [concat], [min], [add], [idtype].
• Total 15 markers: ⟨var⟩, ⟨val⟩, ⟨cond⟩ ³, ⟨thenPart⟩ ², ⟨elsePart⟩, ⟨body⟩ ², ⟨decls⟩ ², ⟨string⟩, ⟨name⟩, ⟨natcon⟩, ⟨e⟩, ⟨lhs⟩ ³, ⟨rhs⟩ ³, ⟨id⟩, ⟨t⟩.

Syntax

Type ::=
	[natural]::"natural"

Type ::=
	[nil]::"nil-type"

Type ::=
	[string]::"string"

Statement ::=
	[assign]::(⟨var⟩:Id ":=" ⟨val⟩:Expression)

Statement ::=
	[cond]::("if" ⟨cond⟩:Expression "then" ⟨thenPart⟩:{Statement ";"}* "else" ⟨elsePart⟩:{Statement ";"}* "fi")

Statement ::=
	[loop]::("while" ⟨cond⟩:Expression "do" ⟨body⟩:{Statement ";"}* "od")

Statement ::=
	[cond]::("if" ⟨cond⟩:Expression "then" ⟨thenPart⟩:{Statement ";"}* "fi")

Program ::=
	[program]::("begin" ⟨decls⟩:Declarations ⟨body⟩:{Statement ";"}* "end")

Declarations ::=
	"declare" ⟨decls⟩:{IdType ","}* ";"

Expression ::=
	[strcon]::⟨string⟩:String

Expression ::=
	[id]::⟨name⟩:Id

Expression ::=
	[natcon]::⟨natcon⟩:Natural

Expression ::=
	"(" ⟨e⟩:Expression ")"

Expression ::=
	[concat]::(⟨lhs⟩:Expression "||" ⟨rhs⟩:Expression)

Expression ::=
	[min]::(⟨lhs⟩:Expression "-" ⟨rhs⟩:Expression)

Expression ::=
	[add]::(⟨lhs⟩:Expression "+" ⟨rhs⟩:Expression)

IdType ::=
	[idtype]::(⟨id⟩:Id ":" ⟨t⟩:Type)

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