Content deleted Content added
Mhhwang2002 (talk | contribs) |
Mhhwang2002 (talk | contribs) |
||
Line 36:
Mathematically, a event trajectory is a mapping <math>\omega</math> a time period <math>[t_l,t_u] \subseteq \mathbb{T} </math> to an event set <math>Z</math>. So we can write it in a function form :
<center><math> \omega:[t_l,t_u] \rightarrow Z^* .</math></center>
== Timed language ==
| |||