Dato questo sistema di transizione, per quali stati sono soddisfatte queste formule LTL (molto basilari)?

Question

Ho perso molte lezioni per questo modulo a causa di un intervento chirurgico, quindi sto cercando di insegnarlo a me stesso ora. Questa è la domanda su cui stavo lavorando:

Prima di tutto, avrei ragione nel dire che le formule LTL sono b, c e e? CTL sono un, d e f?

Per (b) Immagino che la risposta sia S1 e S3, dal momento che questi sono gli unici stati con B in essi.

Guardando (e), questo dice che lo stato deve sempre contenere b o un, quindi la risposta è S1, S2, S3 e S4 (tutti gli stati). È corretto?

(c) è quello che non riesco a farla girare la testa. Cosa sta dicendo esattamente in inglese?

Per ora mi concentrerò solo sulle cose LTL, quindi voglio solo correggere B, E e C al 100%. Qualsiasi aiuto è molto apprezzato dal momento che sto lottando un po 'con questo modulo.

Molte grazie in anticipo!