Logo el.boatexistence.com

Μπορούν να αποφασιστούν οι γλώσσες χωρίς πλαίσιο;

Πίνακας περιεχομένων:

Μπορούν να αποφασιστούν οι γλώσσες χωρίς πλαίσιο;
Μπορούν να αποφασιστούν οι γλώσσες χωρίς πλαίσιο;

Βίντεο: Μπορούν να αποφασιστούν οι γλώσσες χωρίς πλαίσιο;

Βίντεο: Μπορούν να αποφασιστούν οι γλώσσες χωρίς πλαίσιο;
Βίντεο: Τι να σπουδάσω; 2024, Ιούλιος
Anonim

1. (α) Είναι αλήθεια, δεδομένου ότι κάθε κανονική γλώσσα είναι χωρίς συμφραζόμενα, κάθε γλώσσα χωρίς συμφραζόμενα μπορεί να αποφασιστεί, και κάθε γλώσσα αποφασιζόμενη είναι αναγνωρίσιμη από τον Turing.

Γιατί μπορούν να αποφασιστούν οι γλώσσες χωρίς περιβάλλον;

Ένα αδιευκρίνιστο πρόβλημα δεν έχει αλγόριθμο για τον προσδιορισμό της απάντησης για μια δεδομένη είσοδο Αασάφεια γλωσσών χωρίς πλαίσιο: Δεδομένης μιας γλώσσας χωρίς συμφραζόμενα, δεν υπάρχει μηχανή Turing που θα σταματάτε πάντα σε πεπερασμένο χρονικό διάστημα και απαντάτε εάν η γλώσσα είναι διφορούμενη ή όχι.

Μπορεί να αποφασιστεί το υποσύνολο μιας γλώσσας χωρίς συμφραζόμενα;

2 Απαντήσεις. Το Σ δεν έχει περιεχόμενο (πράγματι, είναι κανονικό) και έχει πολλά υποσύνολα. Εάν η L είναι μια γλώσσα χωρίς πλαίσιο άπειρου μεγέθους, τότε υπάρχουν υποσύνολα J της L που μπορούν να αποφασιστούν και μερικά που δεν μπορούν να αποφασιστούν. Για παράδειγμα, το κενό υποσύνολο μπορεί να αποφασιστεί.

Διακρίνονται τα CFL;

CFL: Είναι αποφασίσιμο για πρόβλημα κενού, πρόβλημα πεπερασμένου και πρόβλημα μέλους.

Πόσες γλώσσες είναι χωρίς περιεχόμενο;

(1) Υπάρχει ένας μετρήσιμος άπειρος αριθμός γλωσσών χωρίς πλαίσιο. Αυτό ισχύει επειδή κάθε περιγραφή μιας γλώσσας χωρίς πλαίσιο είναι πεπερασμένης έκτασης, επομένως υπάρχει ένας μετρήσιμος άπειρος αριθμός τέτοιων περιγραφών. (2) Υπάρχει ένας αμέτρητος αριθμός γλωσσών.

Συνιστάται: