[ Θ. Υ. Α. ]-Επικαιρότητα, απορίες, ασκήσεις 2011-2012

[Thmmy.gr portal]

  Thmmy.gr portal
   Forum
   Downloads
   Ενεργ. Λογαριασμού
   Επικοινωνία
  
  Χρήσιμα links
   Σελίδα τμήματος
   Βιβλιοθήκη Τμήματος
   Elearning
   Φοιτητικά fora
   Πρόγραμμα Λέσχης
   Πρακτική Άσκηση
   Ηλεκτρονική Εξυπηρέτηση Φοιτητών
   Διανομή Συγγραμμάτων
   Ψηφιακό Καταθετήριο Διπλωματικών
   Πληροφορίες Καθηγητών
   Instagram @thmmy.gr
   mTHMMY
  
  Φοιτητικές Ομάδες
   ACM
   Aristurtle
   ART
   ASAT
   BEAM
   BEST Thessaloniki
   EESTEC LC Thessaloniki
   EΜΒ Auth
   IAESTE Thessaloniki
   IEEE φοιτητικό παράρτημα ΑΠΘ
   SpaceDot
   VROOM
   Panther
  

THMMY.gr Web

Helios_MultiScribbles2SMF Default ThemeSMFone_Blue

[Ανεβάζετε τα θέματα των εξετάσεων στον τομέα Downloads]

Είσαι πρωτοετής;... Καλώς ήρθες! Μπορείς να βρεις πληροφορίες εδώ. Βοήθεια για τους καινούργιους μέσω χάρτη.

Κατεβάστε εδώ το Android Application για εύκολη πρόσβαση στο forum.

Ανεβάζετε τα θέματα των εξετάσεων στον τομέα Downloads με προσοχή στα ονόματα των αρχείων!

[Admins]

Για αλλαγή του public name σας, επικοινωνήστε με έναν από τους Admins.

[***]

αν καταλαβαίνω καλά την πρώτη απορία, δεν είναι απαραίτητο στο ΜΑΠΑ να έχεις πολλές μεταβάσεις για κάθε κατάσταση. η μη αιτιοκρατικότητα μπορεί να έγκειται στο γεγονός ότι το αυτόματο μπορεί να μπλοκάρει κάπου ή να έχει μεταβάσεις εν κενώ.

για το αιτιοκρατικό, όταν βρίσκεσαι σε μια κατάσταση πρέπει να ξέρεις ακριβώς σε ποια κατάσταση θα πας διαβάζοντας ένα συγκεκριμένο σύμβολο. δηλαδή από κάθε κόμβο (κατάσταση) θα φεύγουν ακριβώς δυο βέλη, εφόσον μιλάμε για αλφάβητο με δυο σύμβολα.

[nati19]

εχει λυσει κανενας το θεμα 2 του 2008 με την KMC??

Δεν ξέρω αν είναι απόλυτα σωστο αλλά κατέληξα σε 4 κανόνες: S->XS1 ,S1->SX, S1->X S->X, X->ab και με δυναμικο προγραματισμό έβγαλα οτι η συμβολοσειρα δεν μπορει να βγαίνει απο τους παραπάνω κανόνες.

[nati19]

αν καταλαβαίνω καλά την πρώτη απορία, δεν είναι απαραίτητο στο ΜΑΠΑ να έχεις πολλές μεταβάσεις για κάθε κατάσταση. η μη αιτιοκρατικότητα μπορεί να έγκειται στο γεγονός ότι το αυτόματο μπορεί να μπλοκάρει κάπου ή να έχει μεταβάσεις εν κενώ.

για το αιτιοκρατικό, όταν βρίσκεσαι σε μια κατάσταση πρέπει να ξέρεις ακριβώς σε ποια κατάσταση θα πας διαβάζοντας ένα συγκεκριμένο σύμβολο. δηλαδή από κάθε κόμβο (κατάσταση) θα φεύγουν ακριβώς δυο βέλη, εφόσον μιλάμε για αλφάβητο με δυο σύμβολα.

Δηλαδή σε ένα ΜΑΠΑ αρκεί να βάλω τις μεταβάσεις που θέλω για τη δοσμένη συμβολοσειρά?? Δηλαδη απο την q0 διαβάζοντας b  να καταλήγει σε τερματική q1 και διαβάζοντας α ή b να παραμένει στην q0??(για το θέμα του 2011)

[christinette]

μήπως θα μπορούσε να εξηγήσει κάποιος απλά (ή και με παράδειγμα) πως γίνεται η απαλοιφή κανόνων προς το κενό στις γραμματικές chomsky? η διαφάνεια που έχει παράδειγμα με μπερδεύει πολύ...

[***]

αν καταλαβαίνω καλά την πρώτη απορία, δεν είναι απαραίτητο στο ΜΑΠΑ να έχεις πολλές μεταβάσεις για κάθε κατάσταση. η μη αιτιοκρατικότητα μπορεί να έγκειται στο γεγονός ότι το αυτόματο μπορεί να μπλοκάρει κάπου ή να έχει μεταβάσεις εν κενώ.

για το αιτιοκρατικό, όταν βρίσκεσαι σε μια κατάσταση πρέπει να ξέρεις ακριβώς σε ποια κατάσταση θα πας διαβάζοντας ένα συγκεκριμένο σύμβολο. δηλαδή από κάθε κόμβο (κατάσταση) θα φεύγουν ακριβώς δυο βέλη, εφόσον μιλάμε για αλφάβητο με δυο σύμβολα.

Δηλαδή σε ένα ΜΑΠΑ αρκεί να βάλω τις μεταβάσεις που θέλω για τη δοσμένη συμβολοσειρά?? Δηλαδη απο την q0 διαβάζοντας b  να καταλήγει σε τερματική q1 και διαβάζοντας α ή b να παραμένει στην q0??(για το θέμα του 2011)

στο θέμα του 2011 η συμβολοσειρά που θα ανήκει στη γλώσσα θα έχει οσεσδήποτε παραθέσεις του α ή οσεσδήποτε παραθέσεις του β. δεν πρόκειται σ' αυτήν τη γλώσσα να συναντήσεις συμβολοσειρά που να έχει και α και β. οπότε από την αρχική κατάσταση q0 με α πας στην q1 η οποία έχει βρόχο που με α πηγαίνει στον εαυτό της. με β πας στην q2 που επίσης έχει βρόχο για τον εαυτό της. όλες οι καταστάσεις είναι τελικές.

[ΚΗΜΜΥ]

μήπως θα μπορούσε να εξηγήσει κάποιος απλά (ή και με παράδειγμα) πως γίνεται η απαλοιφή κανόνων προς το κενό στις γραμματικές chomsky? η διαφάνεια που έχει παράδειγμα με μπερδεύει πολύ...

Aυτο που καναμε στην ταξη?
Παντως δε νομιζω να βαλει...


Το πρωτο του 11??

[christinette]

μήπως θα μπορούσε να εξηγήσει κάποιος απλά (ή και με παράδειγμα) πως γίνεται η απαλοιφή κανόνων προς το κενό στις γραμματικές chomsky? η διαφάνεια που έχει παράδειγμα με μπερδεύει πολύ...

Aυτο που καναμε στην ταξη?
Παντως δε νομιζω να βαλει...


Το πρωτο του 11??

δεν μιλαω για καποιο θεμα συγκεκριμενα. γενικα ποια ειναι η τεχνικη απαλοιφης κανονων προς το κενο... το παραδειγμα που καναμε στο τελευταιο μαθημα δεν ειχε κανονες προς το κενο. μονο κοντους και μακριους.

[ΚΗΜΜΥ]

Δεν θα βαλει λεω εγω
Εγω ομως μιλαω συγκεκριμενα για το 1α του 2011

[***]

για το 1  του 2011 η G' θα έχει τα ίδαι τερματικά, τα ίδια μη τερματικά συν ένα s', αρχική κατάσταση s' και τους ίδιους κανόνες με την G μαζί με έναν καινούριο, τον S'->SS . Aν παρατηρήσεις τη γραμματική σου είναι σε ΚΜC Άρα κάνεις κατευθείαν έλεγχο με πίνακα.

[christinette]

Δεν θα βαλει λεω εγω

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

[edenaxas]

δες λιγο σελιδα 208 στο βιβλιο.

το παραδειγμα 3.6.1 τα λεει πολυ ξεκαθαρα

[ΚΗΜΜΥ]

για το 1  του 2011 η G' θα έχει τα ίδαι τερματικά, τα ίδια μη τερματικά συν ένα s', αρχική κατάσταση s' και τους ίδιους κανόνες με την G μαζί με έναν καινούριο, τον S'->SS . Aν παρατηρήσεις τη γραμματική σου είναι σε ΚΜC Άρα κάνεις κατευθείαν έλεγχο με πίνακα.

αυτο γιατι?

[λήθη]

για το 1  του 2011 η G' θα έχει τα ίδαι τερματικά, τα ίδια μη τερματικά συν ένα s', αρχική κατάσταση s' και τους ίδιους κανόνες με την G μαζί με έναν καινούριο, τον S'->SS . Aν παρατηρήσεις τη γραμματική σου είναι σε ΚΜC Άρα κάνεις κατευθείαν έλεγχο με πίνακα.

αυτο γιατι?

σελιδα 14 σημειώσεων

σορρυ κιολας αλλα παλι στο 1/2011 οι κάθετοι ( | ) τι είναι?

[christinette]

δες λιγο σελιδα 208 στο βιβλιο.

το παραδειγμα 3.6.1 τα λεει πολυ ξεκαθαρα

ωραία. λέει στην 209 διαγράφω απο τη γραμματικη τους κενους κανονες και διαγραφει τον S->e) . αυτός γιατί θεωρείται κενός??? κενοι κανονες είναι της μορφης Α->ε αν δεν κανω λαθος...

[christinette]

σορρυ κιολας αλλα παλι στο 1/2011 οι κάθετοι ( | ) τι είναι?

οι καθετοι διαχωριζουν τους κανονες αν αυτο εννοεις. πχ καν1|καν2|καν3