Event segment: Difference between revisions

Revision as of 19:48, 3 March 2014

Revision as of 19:53, 3 March 2014

Line 22:

=== Unit event segment ===

A ''unit event segment'' is either a [[Event Segment#Null event segment|null event segment]] or a [[Event Segment#Timed event|timed event]]. Mathematically, a unit event segment <math>\omega</math>over time period <math>[t_l,t_u] \subseteq \mathbb{T} </math> to an event set <math>Z</math> is

<math> \omega:[t_l,t_u] \rightarrow Z^* </math>

=== Concatenation ===