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).

PSL sequences can be combined with implication and conjunction operators in the `temporal layer'.

17: (C) 2008-13, DJ Greaves, University of Cambridge, Computer Laboratory.