Μη Ντετερμινιστικά Αυτόματα Στοίβας

1. ΓΛΩΣΣΕΣ ΧΩΡΙΣ ΣΥΜΦΡΑΖΟΜΕΝΑMH ΝΤΕΤΕΡΜΙΝΙΣΤΙΚΑ ΑΥΤΟΜΑΤΑ ΣΤΟΙΒΑΣ
Ορισμός:
Ένα Μη Ντετερμινιστικό Αυτόματο Στοίβας είναι μία 7-άδα Μ , Σ, Γ, , , ,
Όπου:
• είναι το σύνολο των καταστάσεων
• Σ είναι το αλφάβητο των συμβόλων εισόδου
• Γ είναι το αλφάβητο των συμβόλων στοίβας
• είναι η αρχική κατάσταση
• είναι το αρχικό σύμβολο του σωρού
Να κατασκευαστεί Μη Ντετερμινιστικό Αυτόματο Στοίβας που να
αναγνωρίζει τις συμβολοσειρές της γλώσσας: 0 1 n 0
ΛΥΣΗ:
Το Αυτόματο Στοίβας Προσομοιώνει τη λειτουργία της Γραμματικής
Χωρίς Συμφραζόμενα που παράγει τις συμβολοσειρές της γλώσσας
Σχηματικά:
• είναι η συνάρτηση μετάβασης (π.χ. , , , που σημαίνει ότι
είμαστε στην διαβάζουμε από την είσοδο και η στοίβα έχει πάνω-πάνω το
, το αφαιρούμε πάμε στην και βάζουμε στην στοίβα την ).
• είναι το σύνολο των τελικών καταστάσεων
Το αυτόματο είναι η 7άδα: Μ , Σ, Γ, , , , όπου:
• , ,
• Σ 0,1
• Γ , 0,1,S
• είναι η αρχική κατάσταση
• είναι το αρχικό σύμβολο του σωρού
• είναι η συνάρτηση μετάβασης που περιγράφεται από τον
ακόλουθο πίνακα μετάβασης.
• F
Ο πίνακας μετάβασης είναι: