Next: Recursive Markov Chain grammar Up: PReMo - User's Manual Previous: Sparse linear solvers Contents

Syntax of the input languages in the BNF format

Formal grammars of the input languages in the BNF are defined below. Characters in the (bold typeset are a part of the syntax of the input language.

Subsections

Recursive Markov Chain grammar
Recursive Markov Decision Processes and Recursive Simple Stochastic Game es grammar
Stochastic Context Free Grammar grammar

Dominik Wojtczak 2006-10-31