CTL*: Διαφορά μεταξύ των αναθεωρήσεων

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

επεξεργασίες