HOME       UP       PREV       NEXT (ABD - Sequence Constraint as a Suffix Implication)  

PSL: Further Temporal Layer Operators

(The important operators on this slide are the implications operators (first two). Other may be lectured again in TL and MC course).

The disjunction (ORing) of a pair of sequences is already supported by the SERES disjunction operator. PSL sequences can be combined with implication and conjunction operators in the `temporal layer'.

18: (C) 2012-17, DJ Greaves, University of Cambridge, Computer Laboratory.