CTL*: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Ρομπότ: Μεταφέρω 1 σύνδεσμους interwiki, που τώρα παρέχονται από τα Wikidata στο d:Q5014579 |
μ Αντικατάσταση παρωχημένης σύνταξης latex (mw:Extension:Math/Roadmap) |
||
Γραμμή 7:
== Παραδείγματα τύπων της CTL* ==
* CTL* τύπος που δεν ανήκει ούτε στην LTL ούτε στη CTL: <math>EX(p) \
* LTL τύπος που δεν ανήκει στη CTL: <math>\ AFG(p)</math>
* CTL τύπος που δεν ανήκει στην LTL: <math>\ EX(p)</math>
| |||