ITL
© 1996-2015







13 Exercises Propositional ITL

Exercise 4

Letσ = σ0σ1σ2 σ3
Give allprefixintervalsofσ
Give allsuffix intervalsofσ
Give allsub-intervals ofσ

Exercise 5 Give the formal semantics of following formulae:

! (empty ⊃ f)
I (empty ⊃ f)
A (empty ⊃ f)
! (more ⊃ f)
I (more ⊃ f)
A (more ⊃ f)
! (skip ⊃ f)
I (skip ⊃ f)
A (skip ⊃ f)

Exercise 6 Give the informal semantics (picture) of following formulae:

iff0 then f1 else f2
finf
haltf
ke epf
whilef0 do f1
repeatf0 untilf1