Μ λογισμός: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Bot: Migrating 1 langlinks, now provided by Wikidata on d:Q5275729 |
μ σύνδεσμοι |
||
Γραμμή 2:
Ο '''μ-λογισμός''' (ή '''τροπικός μ λογισμός''') είναι μια επέκταση της προτασιακής τροπικής λογικής με έναν τελεστή μ ελάχιστου σταθερού σημείου (fixpoint). Χρησιμοποιείται για να περιγράψει τις ιδιότητες των συστημάτων μεταβάσεων με ετικέτες και να τις [[έλεγχος μοντέλων|επαληθεύσει]].
Ο (προτασιακός) μ-λογισμός εφευρέθηκε από τον
Πολλές χρονικές λογικές μπορούν να κωδικοποιηθούν στο μ-λογισμό, όπως η [[γραμμική χρονική λογική|LTL]], η [[λογική υπολογιστικού δένδρου|CTL]] και η [[CTL*]].<ref>Clarke σελ.108, Theorem 6; Emerson σελ.196</ref>
| |||