Recursive Markov Chain grammar

		$\displaystyle \langle{RMC}\rangle \textrm{ ::= } \langle{ComponentDeclaration}\rangle ^+\ \langle{ComponentDefinition}\rangle ^+$
		$\displaystyle \langle{ComponentDeclaration}\rangle \textrm{ ::= } \langle{Id}\r... ...langle{Int}\rangle \textrm{\textbf{, }}\langle{Int}\rangle \textrm{\textbf{);}}$
		$\displaystyle \langle{ComponentDefinition}\rangle \textrm{ ::= } \langle{Id}\ra... ...m{\textbf{ \{ }}\langle{BoxDeclaration}\rangle ^*\ \langle{EntryNode}\rangle ^+$
		$\displaystyle \qquad(\langle{NodeDefinition}\rangle \ \vert\ \langle{BoxDefinition}\rangle )^*\textrm{\textbf{ \} }}$
		$\displaystyle \langle{EntryNode}\rangle \textrm{ ::= } \textrm{\textbf{entry }}\langle{Int}\rangle \textrm{\textbf{:\ }}\langle{Transition}\rangle ^+$
		$\displaystyle \langle{ExitNode}\rangle \textrm{ ::= } \textrm{\textbf{exit }}\langle{Int}\rangle \textrm{\textbf{: }}\langle{Transition}\rangle ^+$
		$\displaystyle \langle{Transition}\rangle \textrm{ ::= } \langle{Probability}\rangle \textrm{\textbf{: }}\langle{Jump}\rangle \textrm{\textbf{;}}$
		$\displaystyle \langle{Jump}\rangle \textrm{ ::= } \textrm{\textbf{goto }}\langle{Label}\rangle$
		$\displaystyle \quad \vert\qquad \textrm{\textbf{return }} \langle{Int}\rangle$
		$\displaystyle \quad \vert\qquad \textrm{\textbf{call }} \langle{Label}\rangle \textrm{\textbf{(}} \langle{Int}\rangle \textrm{\textbf{)}}$
		$\displaystyle \langle{BoxDeclaration}\rangle \textrm{ ::= } \langle{Label}\rangle \textrm{\textbf{(}} \langle{Id}\rangle \textrm{\textbf{);}}$
		$\displaystyle \langle{NodeDefinition}\rangle \textrm{ ::= } \langle{Label}\rangle \textrm{\textbf{(}} \langle{Transition}\rangle ^+ \textrm{\textbf{)}}$
		$\displaystyle \langle{BoxDefinition}\rangle \textrm{ ::= } \langle{Label}\rangle \textrm{\textbf{\{}}\langle{ExitNode}\rangle ^+ \textrm{\textbf{\}}}$
		$\displaystyle \langle{Int}\rangle \textrm{ ::= } (DIGIT)^+$
		$\displaystyle \langle{Probability}\rangle \textrm{ ::= } (\textrm{\textbf{0 }}\vert \textrm{\textbf{ 1}}) \textrm{\textbf{.}} (DIGIT)^+$
		$\displaystyle \langle{Id}\rangle \textrm{ ::= } UPCASE\_LETTER(LETTER \vert DIGIT)^*$
		$\displaystyle \langle{Label}\rangle \textrm{ ::= } UPCASE\_LETTER (LETTER \vert DIGIT)^*$