Dom 18 Agosto, 06:48:45 - 2019

Autore Topic: Esercizio 3: Mu calculus  (Letto 301 volte)

0 Utenti e 1 Visitatore stanno visualizzando questo topic.

Offline Zepone

  • Ricercatore
  • ****
  • Post: 360
  • FeedBack: +21/-5
    • Mostra profilo
Esercizio 3: Mu calculus
« il: Mar 24 Ottobre, 21:56:37 - 2017 »
Buonasera ragazzi. Sto esaminando i testi degli appelli passati e ho potuto notare che c'è una certa sistematicità/ripetizione negli esercizi.

Quello che mi crea problemi è il n.3, ovvero quello sul mu-calculus e ctl formula; non riesco a capire come applicare gli algoritmi di model checking per la realizzazione degli esercizi.

Ad esempio, nel file in allegato, non capisco perché la soluzione proposta funziona.
Un giorno, qualcuno mi sconfiggerà. Ma non sarà oggi e non sarai tu.