Απορία-θεωρία Υπολογισμού

[dimmath]

Καλησπερα!
Δυσκολευομαι να λυσω την παρακατω ασκηση:
Εστω οτι εχουμε στη διαθεση μας δυο ειδη παρενθεσεων:() και [](καμπυλες και ορθογωνικες).Με βαση το αλφαβητο Σ=|(,),[,]| οριζουμε την γλωσσα L των ισορροπημενων παρενθεσεων(2 ειδων),ως εξης:
L=|λ ε Σ*,και καθε αριστερη παρενθεση "κλεινει" με μια αντιστοιχη δεξια του ιδιου ειδους|.
(π.χ. Η λεξη ([ ( ) ] [ ] ) εχει ισορροπημενες παρενθεσεις 2 ειδων,ενω η λεξη ( [ ) ] οχι.

α)Δωστε μια ασυμφραστικη γραμματικη Γ που παραγει την γλωσσα L,και εξηγειστε το γιατι.
β)Δωστε το συντακτικο δεντρο κατα την Γ της λεξης λ=( [ ] ( ) ) [ ].

Μηπως μπορειτε να με βοηθησετε?

[pao132003]

Να σε ρωτήσω πρώτα, γιατί το έβαλες στο forum των μεταπτυχιακών;

Δες εδώ κάτι που μπορεί να βοηθήσει http://en.wikipedia.org/wiki/Context-fr ... e_brackets

[dimmath]

Γενικα,πως βρισκω μια ασυμφραστικη γραμματικη Γ που παραγει μια γλωσσα L??

[pao132003]

Με εξάσκηση, δεν υπάρχει κάποια συγκεκριμένη μεθοδολογία.
Διάβασε παραδείγματα και κατανόησέ τα

[dimmath]

Μηπως ξερεις που μπορω να βρω λυμενες ασκησεις για εξασκηση???

[constant]

Υπάρχουν αρκετές στα μαθήματα του Ζάχου (5ο κ 6ο εξάμηνο) και ίσως κάποια κ στις δομές δεδομένων του Συμβώνη. Στα αντίστοιχα βιβλία σίγουρα θα βρεις..

[dimmath]

Μηπως υπαρχουν και online λυμενα παραδειγματα?

[mathformath]

http://www.free-ebooks.gr/gre/ebook/201

[dimmath]

Ευχαριστω !