[Θ.Υ.Α.] Απορίες στις ασκησεις 2014-2015

[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 με προσοχή στα ονόματα των αρχείων!

Για ανανέωση (ή προσθήκη νέου) avatar, πρέπει η μεγαλύτερη διάσταση της εικόνας να είναι 110 pixels.

[Exomag]

Topic που αφορά τις ασκήσεις του μαθήματος. Stay on topic!

[Exomag]

καλή αρχή.

φλεβάρης 14' θεμα 1α, ισχύει το καμία;

Εγώ θα έλεγα ότι οι (i) και (iii) ανήκουν.

[Xleboniaris]

Μπορεί κάποιος να περιγράψει, με απλά λόγια, το τρίτο βήμα για την μετατροπή μιας γραμματικής σε κανονική μορφή Chomsky  (εξάλειψη κοντών κανόνων) ?? 

[Exomag]

Μπορεί κάποιος να περιγράψει, με απλά λόγια, το τρίτο βήμα για την μετατροπή μιας γραμματικής σε κανονική μορφή Chomsky  (εξάλειψη κοντών κανόνων) ?? 

Δεν νομίζω πως μπορώ να εξηγήσω πιο απλά/σωστά σε σχέση με το πως το εξηγεί ο ίδιος ο Ντελόπουλος (σε 10 σειρές) στη σελίδα 17 από εδώ.

Διάβασε τη μεθοδολογία όπως την περιγράφει εκεί και αν έχεις κάποια απορία για αυτά που γράφει στη συγκεκριμένη σελίδα, feel free to ask.

[xameno kormi]

βσκ δες και στο βιβλιο παπαδημητριου/lewis σελ 210 εχει ενα παραδειγμα σαν αυτο στις σημειωσεις απλα το επεξηγει γενικα

[princess_of_the_dawn]

μπορεί να εξηγήσει κανεις το δυναμικό προγραμματισμό στη σελ 21 των διαφανειών;
δεν καταλαβαίνω ποτέ πρπει ν βαλουμε κενό κ ποτέ s...

[stavridisdim]

μπορεί να εξηγήσει κανεις το δυναμικό προγραμματισμό στη σελ 21 των διαφανειών;
δεν καταλαβαίνω ποτέ πρπει ν βαλουμε κενό κ ποτέ s...

+1

[TrueForce]

δες την ασκηση σελ 3 απο το πρωτο pdf Με σημειωσεις ασκησεων ντελο

[Tracy_McGrady]

Μπορεί κάποιος να εξηγήσει πως προκύπτουν οι κλάσεις ισοδυναμίας μιας γλώσσας διαφάνεια 17 pdf αυτομάτων???

[princess_of_the_dawn]

Μπορεί κάποιος να εξηγήσει πως προκύπτουν οι κλάσεις ισοδυναμίας μιας γλώσσας διαφάνεια 17 pdf αυτομάτων???

χωρίς να είμαι σίγουρη

ν=0 Κ1=όλες οι τελικές καταστάσεις      Κ2=οι υπόλοιπες
ν=1  πας πρώτα στις εναπομείναντες: βλέπεις την επόμενη κατάσταση μέσω των α,β (πχ δ(q₂,a=q₅ )
       αυτές που για το ίδιο α ή για το ίδιο β τερματίζουν σε τελικές καταστάσεις και για το ίδιο α ή β δεν τερματίζουν σε τελ.καταστ. τις βάζεις μαζί (εδώ πχ οι q4,q6 για α τερματίζουν σε τελικές καταστάσεις και για β όχι ενώ για β η q2 επίσης σε τελική κατάσταση-άρα έχεις ενα ζευγάρι thn q4,q6 και οι άλλες 2 μόνες τους)
     για τις τελικές βλέπεις ότι για α ταυτίζονται επίσης άρα μένουν ως έχουν(ζευγαρακι δλδ)
ν=2 το μόνο που μπορείς να ελέγξεις είναι το q4,q6 που μένει ως έχει, άρα τελειώσαμε με τις ισοδύναμες

από τις ασκήσεςι που ανέβασε ο ετέρντιτι το 20 πδφ σελ 4 γιατί ο ισχυρισμός Τ->αβα είναι ψευδής;
γενικά αν έχουμε 2 εναλλακτικές για κάποιο σύμβολο σε μία(στην ίδια) σσ θα παίρνουμε πάντα τη 1 ή μπορούμε και εναλλάξ;
δλδ αν έχουμε χΤχ και χ->α/β μπορούμε να έχουμε αΤβ ή απαραίτητα μόνο αΤα ή βΤβ;

[Exomag]

από τις ασκήσεςι που ανέβασε ο ετέρντιτι το 20 πδφ σελ 4 γιατί ο ισχυρισμός Τ->αβα είναι ψευδής;
γενικά αν έχουμε 2 εναλλακτικές για κάποιο σύμβολο σε μία(στην ίδια) σσ θα παίρνουμε πάντα τη 1 ή μπορούμε και εναλλάξ;
δλδ αν έχουμε χΤχ και χ->α/β μπορούμε να έχουμε αΤβ ή απαραίτητα μόνο αΤα ή βΤβ;

Γίνεται αυτό που λες (μπορείς να αντικαταστήσεις το πρώτο Χ με α και το δεύτερο με β), το πρόβλημα είναι ότι έτσι όπως το έχει γραμμένο στο .pdf υπονοεί οτί αυτό θα γίνει σε ένα βήμα (το βελάκι της συνεπαγωγής δεν έχει αστερίσκο που να υποδηλώνει πολλά βήματα), το οποίο δεν γίνεται.

[princess_of_the_dawn]

αχαμ
οκ θένκιου 

[Exomag]

επίσηζ,σελ 6 από το ίδιο πδφ εκεί που κάνει τον μαπα ->απα για τα δ μπορεί να εξηγήσει κάποιος πού αντιστοιχούν τα Ε(q_x) ;
το E(q₀) πχ γιατί είναι Q₀₀₁₁?

Γενικώς, το Ε(q_x) είναι το σύνολο των καταστάσεων (από τις αρχικές) που μπορείς να φτάσεις από την q_x με "e". Χωρίς να χρησιμοποιήσεις κανένα γράμμα δηλαδή.

Τώρα, ο Ντελόπουλος επέλεξε να ονομάζει τις καταστάσεις του νέου αυτομάτου (οι οποίες αποτελούνται από σύνολα των καταστάσεων του αρχικού ΜΑΠΑ) με Q_y. Το y προκύπτει από την δυαδική αναπαράσταση των καταστάσεων q_x που υπάρχουν στο σύνολο της κατάστασης Q_y. Στη συγκεκριμένη περίπτωση, πχ, είναι Ε(q₀) = {q₀,q₁} οπότε βάζει άσους στα αντίστοιχα ψηφία του δυαδικού αριθμού και προκύπτει 0011 = 3. Άρα το Q_y που αντιστοιχεί στο Ε(q₀) = {q₀,q₁} είναι το Q₃ = Q₀₀₁₁.

[princess_of_the_dawn]

επίσηζ,σελ 6 από το ίδιο πδφ εκεί που κάνει τον μαπα ->απα για τα δ μπορεί να εξηγήσει κάποιος πού αντιστοιχούν τα Ε(q_x) ;
το E(q₀) πχ γιατί είναι Q₀₀₁₁?

Γενικώς, το Ε(q_x) είναι το σύνολο των καταστάσεων (από τις αρχικές) που μπορείς να φτάσεις από την q_x με "e". Χωρίς να χρησιμοποιήσεις κανένα γράμμα δηλαδή.

Τώρα, ο Ντελόπουλος επέλεξε να ονομάζει τις καταστάσεις του νέου αυτομάτου (οι οποίες αποτελούνται από σύνολα των καταστάσεων του αρχικού ΜΑΠΑ) με Q_y. Το y προκύπτει από την δυαδική αναπαράσταση των καταστάσεων q_x που υπάρχουν στο σύνολο της κατάστασης Q_y. Στη συγκεκριμένη περίπτωση, πχ, είναι Ε(q₀) = {q₀,q₁} οπότε βάζει άσους στα αντίστοιχα ψηφία του δυαδικού αριθμού και προκύπτει 0011 = 3. Άρα το Q_y που αντιστοιχεί στο Ε(q₀) = {q₀,q₁} είναι το Q₃ = Q₀₀₁₁.

ty,δεν το έχω πλήρως αλλά κάτι κατάλαβα

υγ.διέγραψα καταλάθος την ερώτηση 

[xameno kormi]

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