Contents

• Introduction
• Input languages
  • Recursive Markov Chain s
  • Recursive Markov Decision Processes and Recursive Simple Stochastic Game es
  • Stochastic Context Free Grammar s
  • Arbitrary equations systems
  
  
• Using PReMo in practice
  • Creating and opening a new source file
  • Parsing
  • Graph generation and exporting as an image
  • Equation system generation
  • Finding solution
  • Interpreting the results
  • Gray shading
  • Advanced options
  
  
• Syntax of the input languages in the BNF format
  • Recursive Markov Chain grammar
  • Recursive Markov Decision Processes and Recursive Simple Stochastic Game es grammar
  • Stochastic Context Free Grammar grammar
  
  
• Bibliography