Recursive Markov Decision Processes and Recursive Simple Stochastic Game es 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{InputCase}\rangle ^+$
		$\displaystyle \qquad(\langle{NodeDefinition}\rangle \ \vert\ \langle{BoxDefinition}\rangle )^*\textrm{\textbf{ \} }}$
		$\displaystyle \langle{InputCase}\rangle \textrm{ ::= } \textrm{\textbf{case }}\langle{Int}\rangle \textrm{\textbf{:\ }}\langle{Transition}\rangle ^+$
		$\displaystyle \langle{OutputCase}\rangle \textrm{ ::= } \textrm{\textbf{case }}\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}\rangl... ...rangle \textrm{\textbf{) \{}}\langle{OutputCase}\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)^*$