Hi,
I have problem with the math mode which fails even LaTeX syntax is
valid, see e.g.[1] (using
1.15.1 (r55773)).
Thanks in advance, Martin
<math>
X = \{go, stop\}\\
Y = Pos(G)\\
S = \{(d,\sigma)| d \in P \times \{stopped, running\}, \sigma \in
\mathbb{T}^{\infty}\}, s_{0} = ((v_{0},stopped), \infty)\\
\forall s \in S : ta(s) = \sigma\\
\delta_{ext}((((v_{i}, stopped), \sigma), t_{e}), go) =
((v_{i},running), \sigma)\\
\delta_{ext}((((v_{i},stopped), \sigma), t_{e}), stop) =
((v_{i}, stopped), \sigma - t_{e})\\
\delta_{ext}((((v_{i},running), \sigma), t_{e}), go) =
((v_{i},running), \sigma - t_{e})\\
\delta_{ext}((((v_{i},running), \sigma), t_{e}), stop) =
((v_{i}, stopped), \sigma)\\
\delta_{ext}(((((e_{i}, x),running), \sigma), t_{e}), go)
= (((e_{i}, x), running), \sigma - t_{e})\\
\delta_{ext}(((((e_{i}, x),running), \sigma), t_{e}),
stop) = (((e_{i}, x), stopped), \sigma)\\
\delta_{ext}(((((e_{i}, x),stopped), \sigma), t_{e}),
go) = (((e_{in}, x), running), \sigma)\\
\delta_{ext}(((((e_{i}, x), stopped), \sigma), t_{e}),
stop) = (((e_{i}, x), stopped), \sigma - t_{e})\\
\delta_{int}((v_{i}, running), \sigma) = (((e_{i+1}, 0), running), \sigma)\\
\delta_{int}(((e_{i}, x < 1), running), \sigma) = (((e_{i}, x +
\Delta), running), \sigma)\\
\delta_{int}(((e_{i}, x \geq 1),running), \sigma) = ((v_{i+1},
stopped), 2 minutes)\\
\delta_{int}((v_{i}, stopped), \sigma) = ((v_{i}, running), \sigma)\\
\lambda((v_{i}, stopped), \sigma) = v_{i}\\
\lambda((v_{i}, running), \sigma) = v_{i}\\
\lambda(((e_{i}, x), stopped, \sigma) = (e_{i}, x)\\
\lambda(((e_{i}, x), running, \sigma) = (e_{i}, x)\\
</math>
[1]
http://geoinformatics.fsv.cvut.cz/gwiki/Dynamic_object-oriented_geospatial_…
--
Martin Landa <landa.martin gmail.com> *
http://gama.fsv.cvut.cz/~landa