Δομή Κρίπκε: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας |
|||
Γραμμή 10:
* μια συνάρτηση απόδοσης ετικετών (ή ''ερμηνείας'') <math>L: S \rightarrow 2^{AP}</math>
Επειδή η ''R'' είναι αριστερά-πλήρης (left-total), είναι πάντα πιθανό να κατασκευαστεί ένα άπειρο μονοπάτι μέσω της δομής Κρίπκε. Κατά αυτόν τον τρόπο μια κατάσταση αδιεξόδου (deadlock) έχει μια εξερχόμενη ακμή πίσω στον εαυτό
Η συνάρτηση απόδοσης ετικετών ''L'' ορίζει για κάθε κατάσταση ''s'' ∈ ''S'' το σύνολο ''L''(''s'') όλων των ατομικών προτάσεων που ισχύουν στο ''s''. Σε μια δομή Κρίπκε, η συνάρτηση μετάβασης πρέπει να είναι πλήρης, δηλ. κάθε κατάσταση πρέπει να έχει μια μετάβαση από τον εαυτό της προς μια άλλη κατάσταση.
| |||