// ## (\b([1-9][0-9]*|0)\b)|(\b([0-9]+[Ee][+-]?[0-9]+|([0-9]*\.[0-9]+|[0-9]+\.)([Ee][-]?[0-9]+)?)[fFlL]?) [a-zA-Z_][a-zA-Z0-9_]* bool C ceil const ctmc double dtmc endinit endmodule endrewards endsystem F false floor formula func G global I init int label max mdp min module nondeterministic P Pmax Pmin prob probabilistic R rate rewards Rmax Rmin S stochastic system true U X